A Non-SOS Operational Semantics for a Process Algebra.
Wojciech FraczakMarek B. ZarembaPublished in: Inf. Process. Lett. (1998)
Keyphrases
- operational semantics
- process algebra
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- concurrent programs
- communication protocols
- formal semantics
- temporal logic
- data model
- mental states
- petri net
- distributed systems
- formal languages
- databases
- web services
- activity diagrams
- programming environment
- artificial intelligence
- machine learning