Conferences in DBLP

LITP Spring School on Theoretical Computer Science (litp)
1990 (conf/litp/1990)

1. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
   Processes as Data Types: Observational Semantics and Logic. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:1-20 [Conf]
   
2. J. W. de Bakker, J. H. A. Warmerdam
   Metric Pomset Semantics for a Concurrnt Language with Recursion. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:21-49 [Conf]
   
3. Joffroy Beauquier
   Fault-Tolerant Naming and Mutual Exclusion. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:50-61 [Conf]
   
4. Gérard Boudol
   Flow Event Structures and Flow Nets. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:62-95 [Conf]
   
5. Gérard Boudol, Ilaria Castellani
   Three Equivalent Semantics for CCS. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:96-141 [Conf]
   
6. Luc Bougé, Patrick Garda
   Towards a Semantic Approach to SIMD Architectures and their Languages. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:142-175 [Conf]
   
7. Bernadette Charron-Bost
   Concerning the Size of Clocks. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:176-184 [Conf]
   
8. Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
   Transition Systems with Algebraic Structure as Models of Computations. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:185-222 [Conf]
   
9. Philippe Darondeau
   Concurrency and Computability. [Citation Graph (0, 0)][DBLP]
   Semantics of Systems of Concurrent Processes, 1990, pp:223-238 [Conf]
   
10. Philippe Darondeau, Pierpaolo Degano
    Causal Trees: Interleaving + Causality. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:239-255 [Conf]
    
11. Gérard Duchamp, Daniel Krob
    Partially Commutative Formal Power Series. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:256-276 [Conf]
    
12. Paul Gastin
    Infinite Traces. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:277-308 [Conf]
    
13. Rob J. van Glabbeek, Ursula Goltz
    Equivalences and Refinement. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:309-333 [Conf]
    
14. Ursula Goltz
    CCS and Petri Nets. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:334-357 [Conf]
    
15. Irène Guessarian
    About Fixpoints for Concurrency. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:358-374 [Conf]
    
16. Stefano Kasangian, Anna Labella, Alberto Pettorossi
    Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:375-406 [Conf]
    
17. Rocco De Nicola, Frits W. Vaandrager
    Action versus State based Logics for Transition Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:407-419 [Conf]
    
18. Lutz Priese
    Approaching Fair Computations by Ultra Metrics. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:420-433 [Conf]
    
19. Brigitte Rozoy
    On Distributed Languages and Models for Distributed Computation. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:434-456 [Conf]