Login / Signup
Modelling Mutual Exclusion in a Process Algebra with Time-outs.
Rob van Glabbeek
Published in:
CoRR (2021)
Keyphrases
</>
mutual exclusion
process algebra
concurrent systems
long distance
formal specification
model checking
asynchronous circuits
formal methods
web services composition
temporal planning
communication protocols
grid workflow
concurrent programs
temporal logic
real time
formal languages