Conferences in DBLP

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

1. Johan van Benthem
   Time, logic and computation. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:1-49 [Conf]
   
2. Jan A. Bergstra, Jan Willem Klop
   Process theory based on bisimulation semantics. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:50-122 [Conf]
   
3. E. Allen Emerson, Jai Srinivasan
   Branching time temporal logic. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:123-172 [Conf]
   
4. Matthew Hennessy
   Observing processes. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:173-200 [Conf]
   
5. Zohar Manna, Amir Pnueli
   The anchored version of the temporal framework. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:201-284 [Conf]
   
6. Antoni W. Mazurkiewicz
   Basic notions of trace theory. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:285-363 [Conf]
   
7. Glynn Winskel
   An introduction to event structures. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:364-397 [Conf]
   
8. Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
   A logig for the description of behaviours and properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:398-410 [Conf]
   
9. Gérard Boudol, Ilaria Castellani
   Permutation of transitions: An event structure semantics for CCS and SCCS. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1988, pp:411-427 [Conf]
   
10. Edmund M. Clarke, I. A. Draghicescu
    Expressibility results for linear-time and branching-time logics. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:428-437 [Conf]
    
11. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial orderings descriptions and observations of nondeterministic concurrent processes. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:438-466 [Conf]
    
12. Haim Gaifman
    Modeling concurrency by partial orders and nonlinear transition systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:467-488 [Conf]
    
13. Shmuel Katz, Doron Peled
    An efficient verification method for parallel and distributed programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:489-507 [Conf]
    
14. Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
    A logic for distributed transition sytems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:508-522 [Conf]
    
15. Mogens Nielsen, Uffe Engberg, Kim S. Larsen
    Fully abstract models for a process language with refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:523-548 [Conf]
    
16. Ernst-Rüdiger Olderog
    Strong bisimilarity on nets: a new concept for comparing net semantics. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:549-573 [Conf]
    
17. Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
    Nets of processes and data flow. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:574-602 [Conf]
    
18. Wolfgang Reisig
    Towards a temporal logic of causality and choice in distributed systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:603-627 [Conf]
    
19. Jan J. M. M. Rutten
    Correctness and full abstraction of metric semantics for concurrency. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:628-659 [Conf]
    
20. Colin Stirling
    Temporal logics for CCS. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:660-672 [Conf]
    
21. M. W. Shields
    Behavioural Presentations. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:673-689 [Conf]
    
22. Wolfgang Thomas
    Computation tree logic and regular omega-languages. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:690-713 [Conf]