A Process Algebra for Real-Time Programs.

Published in: FASE (2000)

Keyphrases

real time
process algebra
concurrent programs
model checking
formal specification
concurrent systems
formal methods
asynchronous circuits
programming environment
machine learning
web services composition
database
database systems
quality of service
communication protocols