The Inner and Outer Algebras of Unified Concurrency

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_8 ◽

2019 ◽

pp. 157-175

Author(s):

Andrew Butterfield

Download Full-text