Event structures
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 325-392
- https://doi.org/10.1007/3-540-17906-2_31
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Elements of general net theoryPublished by Springer Nature ,1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977