An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs.

Rachel Cardell-Oliver

Published in: J. Log. Comput. (1998)

Keyphrases

real time
concurrent programs
process algebra
temporal information
logic programming
natural language
concurrent systems
database
databases
general purpose
web applications
model checking
formal specification
formal methods
communication protocols
asynchronous circuits