Analysing Mutual Exclusion using Process Algebra with Signals.
Victor DyserynRob J. van GlabbeekPeter HöfnerPublished in: EXPRESS/SOS (2017)
Keyphrases
- mutual exclusion
- process algebra
- long distance
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- temporal planning
- planning domains
- grid workflow
- temporal logic
- distributed systems
- search algorithm
- web services
- artificial intelligence
- real time