Achieving Discrete Relative Timing with Untimed Process Algebra.
Anton WijsPublished in: ICECCS (2007)
Keyphrases
- process algebra
- asynchronous circuits
- petri net
- concurrent systems
- formal specification
- model checking
- formal methods
- concurrent programs
- web services composition
- communication protocols
- grid workflow
- temporal logic
- real time
- wireless networks
- building blocks
- distributed systems
- natural language
- high level
- social networks