Algebre de machines et logique temporelle
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 287-298
- https://doi.org/10.1007/3-540-12920-0_26
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The temporal semantics of concurrent programsPublished by Springer Nature ,2005
- Synthesis of communicating processes from Temporal Logic specificationsPublished by Springer Nature ,2005
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- The temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1981
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977