Process Algebra with Nonstandard Timing.

Kees Middelburg

Published in: Fundam. Informaticae (2002)

Keyphrases

process algebra
asynchronous circuits
model checking
concurrent systems
concurrent programs
formal specification
formal methods
communication protocols
web services composition
grid workflow
database
fine grained
temporal logic