1 results
Relating reasoning methodologies in linear logic and process algebra
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 5 / June 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 868-906
-
- Article
- Export citation