Specification and Verification of Concurrent Programs Through Refinements.
Sandip RayRob SumnersPublished in: J. Autom. Reason. (2013)
Keyphrases
- concurrent programs
- process algebra
- asynchronous circuits
- model checking
- concurrent systems
- formal methods
- formal specification
- formal verification
- temporal logic
- protocol specification
- distributed systems
- communication protocols
- petri net
- concurrent programming
- reverse engineering
- communication networks
- fault tolerant
- web services composition
- knowledge representation
- user interface
- concurrent processes
- information systems
- artificial intelligence