Proving Correctness of Timed Concurrent Constraint Programs.

Frank S. de Boer Maurizio Gabbrielli Maria Chiara Meo

Published in: FoSSaCS (2002)

Keyphrases

concurrent programs
petri net
concurrent execution
provably correct
concurrent programming
information retrieval
database systems
computer programs
databases
finite state machines
linear constraints
e learning
website
discrete event
mutual exclusion