A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus.
Mario R. F. BenevidesLuis Menasché SchechterPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- concurrent programs
- propositional dynamic logic
- process algebra
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- reasoning about actions
- dynamic logic
- temporal logic
- petri net
- distributed systems
- concurrent programming
- concurrent processes
- information systems
- web service composition
- programming environment
- reverse engineering
- communication networks
- general purpose
- artificial intelligence