Functional Behvior of Nondeterministic and Concurrent Programs

Michael G. Main David B. Benson

Published in: Inf. Control. (1984)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
database
databases
end users
production rules