Semantics of Concurrent Computation

Keyphrases

Publications

1979

Jean-Raymond Abrial, Stephen A. Schuman
Non-Deterministic System Specification. Semantics of Concurrent Computation (1979)
William W. Wadge
An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation (1979)
M. W. Shields
Adequate Path Expressions. Semantics of Concurrent Computation (1979)
John S. Gourlay, William C. Rounds, Richard Statman
On Properties Preserved by Contraction of Concurrent Systems. Semantics of Concurrent Computation (1979)
Karl R. Abrahamson
Modal Logic of Concurrent Nondeterministic Programs. Semantics of Concurrent Computation (1979)
Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation (1979)
Amir Pnueli
The Temporal Semantics of Concurrent Programs. Semantics of Concurrent Computation (1979)
Carl Hewitt, Giuseppe Attardi, Henry Lieberman
Specifying and Proving Properties of Guardians for Distributed Systems. Semantics of Concurrent Computation (1979)
Jerald S. Schwartz
Denotational Semantics of Parallelism. Semantics of Concurrent Computation (1979)
Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation (1979)
Hartmann J. Genrich, Kurt Lautenbach
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation (1979)
Daniel P. Friedman, David S. Wise
An Approach to Fair Applicative Multiprogramming. Semantics of Concurrent Computation (1979)
Yat-Sang Kwong
On the Absence of Livelocks in Parallel Programs. Semantics of Concurrent Computation (1979)
Otthein Herzog
Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. Semantics of Concurrent Computation (1979)
Ryszard Janicki
A Characterization of Concurrency-Like Relations. Semantics of Concurrent Computation (1979)
Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation (1979)
Gérard Memmi
Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. Semantics of Concurrent Computation (1979)
Nancy A. Lynch, Michael J. Fischer
On Describing the Behavior and Implementation of Distributed Systems. Semantics of Concurrent Computation (1979)
Nissim Francez
On Achieving Distributed Termination. Semantics of Concurrent Computation (1979)
Michel Sintzoff
Principles for Distributing Programs. Semantics of Concurrent Computation (1979)

volume 70, 1979

Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 Semantics of Concurrent Computation 70 (1979)