A framework for comparing models of computation
- 1 January 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 17 (12) , 1217-1229
- https://doi.org/10.1109/43.736561
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Traces, histories, graphs: Instances of a process monoidPublished by Springer Nature ,2005
- Logical time: capturing causality in distributed systemsComputer, 1996
- An extensional treatment of lazy data flow deadlockTheoretical Computer Science, 1995
- Partial Metric TopologyAnnals of the New York Academy of Sciences, 1994
- The ESTEREL languageProceedings of the IEEE, 1991
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Synchronization in digital system designIEEE Journal on Selected Areas in Communications, 1990
- An introduction to event structuresPublished by Springer Nature ,1989
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Dissemination of System TimeIEEE Transactions on Communications, 1973