Kleene's Three-Valued Logic and Process Algebra.
Jan A. BergstraAlban PonsePublished in: Inf. Process. Lett. (1998)
Keyphrases
- process algebra
- asynchronous circuits
- nonmonotonic logics
- formal specification
- model checking
- propositional logic
- concurrent systems
- concurrent programs
- web services composition
- regular expressions
- formal methods
- grid workflow
- communication protocols
- logic programming
- information systems
- distributed databases
- petri net