Login / Signup
A programming model for concurrent object-oriented programs.
Bart Jacobs
Frank Piessens
Jan Smans
K. Rustan M. Leino
Wolfram Schulte
Published in:
ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
</>
high level
computational model
network model