Causal ambiguity and partial orders in event structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1243, Issue , 1997, Pages 317-331

  Langerak, Rom ^a   Brinksma, Ed ^a   Katoen, Joost Pieter ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957866671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63141-0_22     Document Type: Conference Paper

References (13)

1. G. Boudol and I. Castellani. Flow models of distributed computations: three equivalent semantics for CCS. Information and Computation, 114:247-314, 1994.
2. J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989.
3. L. Ferreira Pires. Architectural Notes: A Framework for Distributed Systems Development. PhD thesis, University of Twente, 1994.
4. J-P. Katoen. Quantitative and Qualitative Extensions of Event Structures. CTIT Ph. D-thesis series no. 96-09, University of Twente, 1996.
5. R. Langerak. Transformations and Semantics for LOTOS. PhD thesis, University of Twente, 1992.
6. R. Langerak. Bundle event structures: a non-interleaving semantics for LOTOS. In M. Diaz and R. Groz, editors, Formal Description Techniques V, volume C-10 of IFIP Transactions, pages 331-346. North-Holland, 1993.
7. R. Langerak, E. Brinksma, and J.-P. Katoen. Causal ambiguity and partial orders in event structures. CTIT technical report, University of Twente, 1997.
8. R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fundamentae Informaticae, 14:39-74, 1991.
9. V.R. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33-71, 1986.
10. A. Rensink. Models and Methods for Action Refinement. PhD thesis, University of Twente, 1993.
11. Rob van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University of Amsterdam, 1990.
12. G. Wiuskel. Events in Computation. PhD thesis, University of Edinburgh, 1980. (also available as Technical Report CST-10-80).
13. G. Winskel. An introduction to event structures. In de Bakker et al. [dBdRR89], pages 364-397.