Semantics of Concurrent Computation 1979: Evian, France

@proceedings{DBLP:conf/scc/1979,
  editor    = {Gilles Kahn},
  title     = {Semantics of Concurrent Computation, Proceedings of the International
               Symposium, 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
  
• 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 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
  

Last update Fri May 25 08:35:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page