Observed Communication Semantics for Classical Processes

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54434-1_3 ◽

2017 ◽

pp. 56-82 ◽

Author(s):

Robert Atkey

Download Full-text