Decomposing monolithic processes in a process algebra with multi-actions.

Maurice Laveaux Tim A. C. Willemse

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
model checking
concurrent programs
formal methods
petri net
communication protocols
web services composition
case study
grid workflow
real time
business rules
knowledge acquisition
knowledge management
natural language