7 results
Up-to techniques for behavioural metrics via fibrations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 4-5 / April 2023
- Published online by Cambridge University Press:
- 10 July 2023, pp. 182-221
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 4 / April 2022
- Published online by Cambridge University Press:
- 29 September 2022, pp. 511-541
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
String diagram rewrite theory III: Confluence with and without Frobenius
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 7 / August 2022
- Published online by Cambridge University Press:
- 13 June 2022, pp. 829-869
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Enhanced coalgebraic bisimulation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 7 / October 2017
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1236-1264
-
- Article
-
- You have access
- Export citation
Concurrency cannot be observed, asynchronously†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 4 / May 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 978-1004
-
- Article
- Export citation
RPO semantics for mobile ambients†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240404
-
- Article
- Export citation
Preface to special issue: EXPRESS, ICE and SOS 2009
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 28 February 2012, pp. 123-124
-
- Article
-
- You have access
- Export citation