A functional model for describing and reasoning about time behaviour of computing systems
- 1 March 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 22 (6) , 595-627
- https://doi.org/10.1007/bf00263648
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A Temporal Logic for Multi-Level Reasoning About Hardware,Published by Defense Technical Information Center (DTIC) ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Lucid, a nonprocedural language with iterationCommunications of the ACM, 1977