Event structures and domains
- 16 October 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 68 (1) , 37-47
- https://doi.org/10.1016/0304-3975(89)90117-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Categorical Combinators, Sequential Algorithms, and Functional ProgrammingPublished by Springer Nature ,1993
- Recursive domain equations for concrete data structuresInformation and Computation, 1989
- Event structuresPublished by Springer Nature ,1987
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981