Conferences in DBLP

Semantics of Concurrent Computation (scc)
1979 (conf/scc/1979)

1. Amir Pnueli
   The Temporal Semantics of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:1-20 [Conf]
   
2. Karl R. Abrahamson
   Modal Logic of Concurrent Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:21-33 [Conf]
   
3. Jean-Raymond Abrial, Stephen A. Schuman
   Non-Deterministic System Specification. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:34-50 [Conf]
   
4. John S. Gourlay, William C. Rounds, Richard Statman
   On Properties Preserved by Contraction of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:51-65 [Conf]
   
5. Otthein Herzog
   Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:66-90 [Conf]
   
6. Gérard Memmi
   Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:91-108 [Conf]
   
7. Ryszard Janicki
   A Characterization of Concurrency-Like Relations. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:109-122 [Conf]
   
8. Hartmann J. Genrich, Kurt Lautenbach
   The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:123-147 [Conf]
   
9. Nancy A. Lynch, Michael J. Fischer
   On Describing the Behavior and Implementation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Semantics of Concurrent Computation, 1979, pp:147-172 [Conf]
   
10. Yat-Sang Kwong
    On the Absence of Livelocks in Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:172-190 [Conf]
    
11. Jerald S. Schwartz
    Denotational Semantics of Parallelism. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:191-202 [Conf]
    
12. Daniel P. Friedman, David S. Wise
    An Approach to Fair Applicative Multiprogramming. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:203-225 [Conf]
    
13. Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski
    Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:226-248 [Conf]
    
14. M. W. Shields
    Adequate Path Expressions. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:249-265 [Conf]
    
15. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
    Petri Nets, Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:266-284 [Conf]
    
16. William W. Wadge
    An Extensional Treatment of Dataflow Deadlock. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:285-299 [Conf]
    
17. Nissim Francez
    On Achieving Distributed Termination. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:300-315 [Conf]
    
18. Carl Hewitt, Giuseppe Attardi, Henry Lieberman
    Specifying and Proving Properties of Guardians for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:316-336 [Conf]
    
19. Michel Sintzoff
    Principles for Distributing Programs. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:337-347 [Conf]
    
20. Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
    A Petri Net Definition of a System Description Language. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:348-368 [Conf]