Cheap Remarks About Concurrent Programs.

Michael Walker Colin Runciman

Published in: FLOPS (2018)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
formal methods
concurrent processes
database
artificial intelligence
user interface
model checking
formal specification
asynchronous circuits