Layered Concurrent Programs.

Bernhard Kragl Shaz Qadeer

Published in: CAV (1) (2018)

Keyphrases

concurrent programs
concurrent programming
process algebra
concurrent processes
databases
web applications
expert systems
programming language
formal specification