Concurrent Programs.

Józef Winkowski

Published in: J. Inf. Process. Cybern. (1975)

Keyphrases

concurrent programs
concurrent programming
process algebra
formal specification
concurrent processes
asynchronous circuits
case study
natural language
relational databases
web applications