Extracting Non-Deterministic Concurrent Programs.

Published in: CSL (2016)

Keyphrases

concurrent programs
process algebra
concurrent programming
black box
concurrent processes
databases
information systems
relational databases
web applications
model checking
formal specification
asynchronous circuits