Many-sorted temporal logic for multi-processes systems
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 273-281
- https://doi.org/10.1007/bfb0030308
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Algebre de machines et logique temporellePublished by Springer Nature ,1984
- A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMSPublished by Elsevier ,1983
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980