A methodology for programming with concurrency

Conpar 81 - Lecture Notes in Computer Science ◽

10.1007/bfb0105123 ◽

2007 ◽

pp. 259-270

Author(s):

Christian Lengauer ◽

Eric C. R. Hehner

Download Full-text