REX

Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)

Search within this conference

Search

1. 1993

   REX 1993

   • 1-4 June
   • Noordwijkerhout, The Netherlands

   • A Decade of Concurrency Reflections and Perspectives

     15 Papers

     1 Volume

2. 1992

   REX 1992

   • 1-4 June
   • Beekbergen, The Netherlands

   • Semantics: Foundations and Applications

     25 Papers

     1 Volume

3. 1991

   REX 1991

   • 3-7 June
   • Mook, The Netherlands

   • Real-Time: Theory in Practice

     29 Papers

     1 Volume

4. 1990

   REX 1990

   • 28 May - 1 June
   • Noordwijkerhout, The Netherlands

   • Foundations of Object-Oriented Languages

     13 Papers

     1 Volume

5. 1989

   REX 1989

   • 29 May - 2 June
   • Mook, The Netherlands

   • Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

     29 Papers

     1 Volume

6. 1988

   REX 1988

   • 30 May - 3 June
   • Noordwijkerhout, The Netherlands

   • Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

     22 Papers

     1 Volume