Control structures
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. iv, 188-198
- https://doi.org/10.1109/lics.1995.523256
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Higher-order action calculiPublished by Springer Nature ,2006
- Action calculi, or syntactic action structuresPublished by Springer Nature ,1993
- The chemical abstract machineTheoretical Computer Science, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Petri nets are monoidsInformation and Computation, 1990
- Explicit substitutionsPublished by Association for Computing Machinery (ACM) ,1990
- Categories for the Working MathematicianPublished by Springer Nature ,1971