Conferences in DBLP

REX (Research and Education in Concurrent Systems) - Workshops (rex)
1993 (conf/rex/1993)

1. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
   Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:1-45 [Conf]
   
2. Jan A. Bergstra, Alban Ponse, Jos van Wamel
   Process Algebra with Backtracking. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:46-91 [Conf]
   
3. Gérard Boudol
   Some Chemical Abstract Machines. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:92-123 [Conf]
   
4. Edmund M. Clarke, Orna Grumberg, David E. Long
   Verification Tools for Finite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:124-175 [Conf]
   
5. Uffe Engberg, Glynn Winskel
   Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:176-229 [Conf]
   
6. Kurt Jensen
   An Introduction to the Theoretical Aspects of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:230-272 [Conf]
   
7. Yonit Kesten, Zohar Manna, Amir Pnueli
   Temporal Verification of Simulation and Refinement. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:273-346 [Conf]
   
8. Leslie Lamport
   Verification and Specifications of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:347-374 [Conf]
   
9. Nancy A. Lynch
   Simulation Techniques for Proving Properties of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   REX School/Symposium, 1993, pp:375-424 [Conf]
   
10. Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
    Relationships Between Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:425-476 [Conf]
    
11. Joachim Parrow
    Interaction Diagrams. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:477-508 [Conf]
    
12. Joachim Parrow, Davide Sangiorgi
    Algebraic Theories for Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:509-529 [Conf]
    
13. Jan J. M. M. Rutten, Daniele Turi
    Initial Algebra and Final Coalgebra Semantics for Concurrency. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:530-582 [Conf]
    
14. Wolfgang Thomas, Helmut Lescow
    Logical Specifications of Infinite Computations. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:583-621 [Conf]
    
15. Job Zwiers, Wil Janssen
    Partial Order Based Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:622-684 [Conf]