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