Synthesizing Distributed Transition Systems from Global Specification.
Ilaria CastellaniMadhavan MukundP. S. ThiagarajanPublished in: FSTTCS (1999)
Keyphrases
- transition systems
- concurrent systems
- model checking
- temporal logic
- distributed systems
- control flow
- finite state
- reactive systems
- practical reasoning
- formal specification
- formal verification
- knowledge based systems
- petri net
- process model
- markov decision processes
- multi agent
- model checker
- software engineering
- data model