Real-Time Process Algebra with Stochastic Delays.

Jasen Markovski Erik P. de Vink

Published in: ACSD (2007)

Keyphrases

real time
process algebra
concurrent systems
model checking
formal specification
asynchronous circuits
formal methods
artificial intelligence
xml documents
knowledge representation
knowledge based systems
concurrent programs