%A Amir Pnueli
%T The temporal semantics of concurrent programs
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Karl Abrahamson
%T Modal logic of concurrent nondeterministic programs
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A J.R. Abrial
%A S.A. Schuman
%T Non-deterministic system specification
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A John S. Gourlay
%A William C. Rounds
%A Richard Statman
%T On properties preserved by contractions of concurrent systems
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Otthein Herzog
%T Static analysis of concurrent processes
for dynamic properties using Petri nets
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Gerard Memmi
%T Notion de dualite et de symetrie dans les reseaux de Petri
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Ryszard Janicki
%T A characterization of concurrency-like relations
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Hartmann J. Genrick
%A Kurt Lautenbach
%T The analysis of distributed systems
by means of predicate/transition-nets
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc
%K Petri nets

%A Nancy A. Lynch
%A Michael J. Fischer
%T On describing the behavior and implementation of distributed systems
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Y.S. Kwong
%T On the absence if livelocks in parallel programs
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Jerald S. Schwarz
%T Denotational semantics of parallelism
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Daniel P. Friedman
%A David S. Wise
%T An approach to fair applicative multiprogramming
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Andrea Maggiolo-Schettini
%A Horst Wedde
%A Jozef Winkowski
%T Modeling a solution for a control problem
in distributed systems by restrictions
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A W.W. Shields
%T Adequate path expressions
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Mogens Nielsen
%A Gordon Plotkin
%A Glynn Winskel
%T Petri nets, event structures and domains
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A William W. Wadge
%T An extensional concept od dataflow deadlock
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Nissim Francez
%T On achieving distributed termination
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Carl Hewitt
%A Giuseppe Attardi
%A Henry Lieberman
%T Specifying and proving properties
of guardians for distributed systems
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Michel Sintzoff
%T Principles for distributing programs
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc

%A Kurt Jensen
%A Morten Kyng
%A Ole Lehrmann Madsen
%T A Petri net definition of a system description language
%J Semantics of concurrent computation
%E Gilles Kahn
%C Evian, France
%D July 1979
%O published as Lecture Notes in Computer Science 70 by Springer-Verlag
%K semcc