Timing and Causality in Process Algebra.

Luca Aceto David Murphy

Published in: Acta Informatica (1996)

Keyphrases

process algebra
asynchronous circuits
model checking
formal specification
concurrent programs
concurrent systems
formal methods
communication protocols
grid workflow
web services composition
database
artificial intelligence
relational databases
knowledge acquisition
software architecture