Extending Process Algebra with an Undefined Action.

Published in: TASE (2022)

Keyphrases

process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
web services composition
concurrent programs
communication protocols
petri net
knowledge acquisition
grid workflow
temporal logic
quality of service
distributed systems
open source
web services