Selecting Theories and Recursive Protocols

Lecture Notes in Computer Science - CONCUR 2005 – Concurrency Theory ◽

10.1007/11539452_19 ◽

2005 ◽

pp. 217-232 ◽

Cited By ~ 9

Author(s):

Tomasz Truderung

Download Full-text