Towards the Synthesis of Asynchronous Concurrent Programs.

D. K. Arvind B. R. J. McConnell

Published in: CONPAR (1994)

Keyphrases

concurrent programs
concurrent programming
process algebra
asynchronous circuits
web applications
fault tolerance
database
real time
artificial intelligence
programming language
software development
model checking
concurrent processes