On equivalent execution semantics of concurrent systems.
Ryszard JanickiMaciej KoutnyPublished in: European Workshop on Applications and Theory of Petri Nets (1986)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- transition systems
- formal specification
- model checking
- control flow
- petri net
- formal semantics
- semantically equivalent
- active rules
- logic programming
- semantic information
- execution model
- data flow
- case study
- finite state
- asynchronous circuits
- open source
- relational databases
- multi agent systems