Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report).

Rob van Glabbeek

Published in: CoRR (2020)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
formal specification
model checking
formal methods
web services composition
communication protocols
concurrent programs
grid workflow
temporal logic
highly reliable
petri net
distributed systems
formal languages
response time
fine grained