Operational Semantics of Reversibility in Process Algebra.
Iain C. C. PhillipsIrek UlidowskiPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- operational semantics
- process algebra
- formal specification
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- formal semantics
- petri net
- data model
- temporal logic
- mental states
- formal languages
- programming environment
- distributed systems
- case study
- service composition
- knowledge based systems
- activity diagrams
- web service composition
- communication protocol
- open source
- xml documents
- relational databases