Semantics of concurrent systems: a modular fixed-point trace approach.
Antoni W. MazurkiewiczPublished in: European Workshop on Applications and Theory in Petri Nets (1984)
Keyphrases
- fixed point
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- formal specification
- model checking
- sufficient conditions
- petri net
- dynamical systems
- logic programming
- default logic
- floating point
- closure operator
- fixed point theorem
- variational inequalities
- policy iteration
- constraint databases
- belief propagation
- image sequences
- logical properties
- high quality