On the Problem of Achieving Adequacy of Concurrent Programs.

Peter E. Lauer Eike Best Michael W. Shields

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
database
user interface
data model
general purpose
distributed systems
model checking
fault tolerant
formal specification
concurrent systems
concurrent processes