Sign in
Decomposing Monolithic Processes in a Process Algebra with Multi-actions.
Maurice Laveaux
Tim A. C. Willemse
Published in:
ICE (2021)
Keyphrases
</>
process algebra
concurrent systems
model checking
asynchronous circuits
formal specification
web services composition
process model
formal methods
grid workflow
communication protocols
real time
artificial intelligence
distributed systems
workflow processes