Concurrent Programs.

Józef Winkowski

Published in: MFCS (1974)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
formal specification
databases
general purpose
formal methods
asynchronous circuits
concurrent systems
concurrent processes
wireless sensor networks
model checking