Bochvar-McCarthy Logic and Process Algebra.
Jan A. BergstraAlban PonsePublished in: Notre Dame J. Formal Log. (1998)
Keyphrases
- process algebra
- asynchronous circuits
- model checking
- concurrent systems
- concurrent programs
- formal specification
- formal methods
- grid workflow
- web services composition
- communication protocols
- petri net
- situation calculus
- artificial intelligence
- modal logic
- temporal logic
- distributed systems
- general purpose
- information systems
- social networks