Modal logic of concurrent nondeterministic programs
- 23 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- A practical decision method for propositional dynamic logic (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1978
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967