Serialization of Concurrent Programs.

Marie-Paule Flé

Published in: J. Comput. Syst. Sci. (1989)

Keyphrases

concurrent programs
concurrency control
process algebra
concurrent programming
formal specification
web applications
model checking
concurrent processes
artificial intelligence
databases
distributed environment
formal methods