Maximally Concurrent Programs.

Rajeev Joshi Jayadev Misra

Published in: Formal Aspects Comput. (2000)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
concurrent processes
formal specification
machine learning
object oriented
knowledge acquisition
model checking
distributed databases
formal methods