Modelling mutual exclusion in a process algebra with time-outs.
Rob van GlabbeekPublished in: Inf. Comput. (2023)
Keyphrases
- mutual exclusion
- process algebra
- long distance
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- temporal planning
- communication protocols
- concurrent programs
- grid workflow
- planning domains
- petri net
- web service composition
- real time
- case study
- artificial intelligence
- reverse engineering
- business process
- business processes
- expert systems
- web services