On the Semantics of Concurrency: Partial Orders and Transition Systems.
Gérard BoudolIlaria CastellaniPublished in: TAPSOFT, Vol.1 (1987)
Keyphrases
- partial order
- transition systems
- control flow
- data flow
- partially ordered
- total order
- model checking
- concurrent systems
- temporal logic
- preference relations
- logical formulas
- formal semantics
- finite state
- distributed systems
- model checker
- practical reasoning
- data mining
- set theory
- specification language
- special case
- reverse engineering
- formal specification
- heuristic search
- reactive systems
- multi dimensional
- learning algorithm