![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Semantics of Concurrent Computation 1979: Evian, France
- Gilles Kahn:
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Lecture Notes in Computer Science 70, Springer 1979, ISBN 3-540-09511-X
Session I
- Amir Pnueli:
The Temporal Semantics of Concurrent Programs. 1-20 - Karl R. Abrahamson:
Modal Logic of Concurrent Nondeterministic Programs. 21-33 - Jean-Raymond Abrial, Stephen A. Schuman:
Non-Deterministic System Specification. 34-50 - John S. Gourlay, William C. Rounds, Richard Statman:
On Properties Preserved by Contraction of Concurrent Systems. 51-65
Session II
- Otthein Herzog
:
Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. 66-90 - Gérard Memmi
:
Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. 91-108 - Ryszard Janicki:
A Characterization of Concurrency-Like Relations. 109-122 - Hartmann J. Genrich, Kurt Lautenbach:
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. 123-147
Session III
- Nancy A. Lynch, Michael J. Fischer:
On Describing the Behavior and Implementation of Distributed Systems. 147-172 - Yat-Sang Kwong:
On the Absence of Livelocks in Parallel Programs. 172-190 - Jerald S. Schwartz:
Denotational Semantics of Parallelism. 191-202 - Daniel P. Friedman, David S. Wise:
An Approach to Fair Applicative Multiprogramming. 203-225
Session IV
- Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 226-248 - M. W. Shields:
Adequate Path Expressions. 249-265 - Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
Petri Nets, Event Structures and Domains. 266-284 - William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. 285-299
Session V
- Nissim Francez:
On Achieving Distributed Termination. 300-315 - Carl Hewitt, Giuseppe Attardi, Henry Lieberman:
Specifying and Proving Properties of Guardians for Distributed Systems. 316-336 - Michel Sintzoff:
Principles for Distributing Programs. 337-347 - Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
:
A Petri Net Definition of a System Description Language. 348-368
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.