Structured CSP - A Process Algebra as an Institution.
Till MossakowskiMarkus RoggenbachPublished in: WADT (2006)
Keyphrases
- process algebra
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- concurrent programs
- constraint satisfaction problems
- communication protocols
- petri net
- grid workflow
- distributed systems
- expert systems
- web services
- real time
- business process
- temporal logic
- fine grained
- programming environment
- open source
- formal languages