Semantics of Concurrent Computation 1979: Evian, France

Gilles Kahn (Ed.): Semantics of Concurrent Computation, Proceedings of the International Sympoisum, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science 70 Springer 1979, ISBN 3-540-09511-X BibTeX

@proceedings{DBLP:conf/scc/1979,
  editor    = {Gilles Kahn},
  title     = {Semantics of Concurrent Computation, Proceedings of the International
               Sympoisum, Evian, France, July 2-4, 1979},
  booktitle = {Semantics of Concurrent Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {70},
  year      = {1979},
  isbn      = {3-540-09511-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session I

Amir Pnueli: The Temporal Semantics of Concurrent Programs. 1-20 BibTeX
Karl R. Abrahamson: Modal Logic of Concurrent Nondeterministic Programs. 21-33 BibTeX
Jean-Raymond Abrial, Stephen A. Schuman: Non-Deterministic System Specification. 34-50 BibTeX
John S. Gourlay, William C. Rounds, Richard Statman: On Properties Preserved by Contraction of Concurrent Systems. 51-65 BibTeX

Session II

Otthein Herzog: Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. 66-90 BibTeX
Gérard Memmi: Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. 91-108 BibTeX
Ryszard Janicki: A Characterization of Concurrency-Like Relations. 109-122 BibTeX
Hartmann J. Genrich, Kurt Lautenbach: The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. 123-147 BibTeX

Session III

Nancy A. Lynch, Michael J. Fischer: On Describing the Behavior and Implementation of Distributed Systems. 147-172 BibTeX
Yat-Sang Kwong: On the Absence of Livelocks in Parallel Programs. 172-190 BibTeX
Jerald S. Schwartz: Denotational Semantics of Parallelism. 191-202 BibTeX
Daniel P. Friedman, David S. Wise: An Approach to Fair Applicative Multiprogramming. 203-225 BibTeX

Session IV

Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski: Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 226-248 BibTeX
M. W. Shields: Adequate Path Expressions. 249-265 BibTeX
Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel: Petri Nets, Event Structures and Domains. 266-284 BibTeX
William W. Wadge: An Extensional Treatment of Dataflow Deadlock. 285-299 BibTeX

Session V

Nissim Francez: On Achieving Distributed Termination. 300-315 BibTeX
Carl Hewitt, Giuseppe Attardi, Henry Lieberman: Specifying and Proving Properties of Guardians for Distributed Systems. 316-336 BibTeX
Michel Sintzoff: Principles for Distributing Programs. 337-347 BibTeX
Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen: A Petri Net Definition of a System Description Language. 348-368 BibTeX