Event Structure Spans for Nondeterministic Dataflow

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 3, 2007, Pages 109-129

  Saunders Evans, Lucy ^a   Winskel, Glynn ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Event Structures; Nondeterministic Dataflow; Spans; Stable functions

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; SEMANTICS;

EVENT STRUCTURES; NONDETERMINISTIC DATAFLOW; STABLE FUNCTIONS;

DATA FLOW ANALYSIS;

EID: 34250351503     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.10.055     Document Type: Article

References (14)

1. G. Berry. Modèles complement adéquats et stables des λ-calculs typés, Thèse de Doctorat d'Etat. PhD thesis, Universit. Paris VII, 1979
2. Brock J., and Ackerman W. Scenarios: A model of non-determinate computation. Formalization of programming concepts 107 (1981)
3. Gian Luca Cattani and Glynn Winskel. Profunctors, open maps and bisimulation. As yet unpublished, February 2004
4. T. Hildebrandt, P. Panangaden, and G. Winskel. Relational semantics of nondeterministic dataflow, 1998
5. T.T. Hildebrandt, P. Panangaden, and G. Winskel. A relational model of nondeterministic dataflow. MSCS, 2003
6. Kahn G. The semantics of a simple language for parallel programming. Information Processing 74 (1974) 471-475
7. MacLane S. Categories for the Working Mathematician. Graduate Texts in Mathematics. second edition volume 5 (1998), Springer
8. Nielson M., Plotkin G.D., and Winskel G. Petri nets, event structures and domains. Theoretical Computer Science 13 1 (1981) 85-108
9. M. Nygaard. Domain Theory for Concurrency. PhD thesis, University of Aarhus, July 2003
10. Rabinovich A., and Trakhtenbrot B.A. Communication among relations. In: Paterson M.S. (Ed). Proceedings of the 6th ICALP. LNCS volume 443 (1990), Springer 294-307
11. James R. Russell. Full abstraction for nondeterministic dataflow networks. In FOCS, pages 170-175, 1989
12. G. Winskel. Event structures with symmetry. To appear in the Festschrift for Gordon Plotkin, ENTCS, 2007
13. G. Winskel. Event structure semantics for CCS and related languages. In ICALP '82, 1982
14. G. Winskel. Relations in concurrency (invited talk). LICS'05, 2005. Full version available at http://www.cl.cam.ac.uk/users/gw104/