Implicitly Distributing Pervasively Concurrent Programs: Extended abstract.

John A. Thywissen Arthur Michener Peters William R. Cook

Published in: PMLDC@ECOOP (2016)

Keyphrases

extended abstract
concurrent programs
concurrent programming
process algebra
web applications
concurrent systems
real time
formal specification
information systems
software components