Verification of Dense Time Properties using Theories of Untimed Process Algebra.

Matti Luukkainen

Published in: FORTE (2001)

Keyphrases

process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
petri net
temporal logic
grid workflow
formal specification
formal language
wireless networks
distributed systems
xml documents
database systems
case study
information systems
real time