An Expressive Logic for a Process Algebra with Silent Actions.
Susanne GrafJoseph SifakisPublished in: Temporal Logic in Specification (1987)
Keyphrases
- process algebra
- asynchronous circuits
- model checking
- concurrent systems
- formal specification
- concurrent programs
- situation calculus
- formal methods
- reasoning about actions
- grid workflow
- modal logic
- temporal logic
- communication protocols
- petri net
- web services composition
- business process
- logic programming
- multi agent systems
- high level
- web services