Login / Signup
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