The Temporal Logic Sugar
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 363-367
- https://doi.org/10.1007/3-540-44585-4_33
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977