Global Serializability of Concurrent Programs.

Béatrice Bérard

Published in: Theor. Comput. Sci. (1994)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
concurrent processes
database
database systems
programming language
model checking