Delayed choice for process algebra with abstraction.
Pedro R. D'ArgenioSjouke MauwPublished in: CONCUR (1995)
Keyphrases
- process algebra
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- formal methods
- communication protocols
- concurrent programs
- web services composition
- high level
- distributed systems
- temporal logic
- petri net
- grid workflow
- reverse engineering
- programming environment
- formal languages
- database systems
- database