Concurrency cannot be observed, asynchronouslyBALDAN, PAOLO; BONCHI, FILIPPO; GADDUCCI, FABIO; MONREALE, GIACOMA VALENTINA · Mathematical Structures in Computer Science · 2015

A General Theory of Barbs, Contexts, and LabelsBonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina · ACM Transactions on Computational Logic · 2014

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale · 2009

Modular encoding of synchronous and asynchronous interactions using open Petri netsBaldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina · Science of Computer Programming · 2015

Generalised coinductionBARTELS, FALK · Mathematical Structures in Computer Science · 2003

The algebra of multirelationsMARTIN, C. E.; CURTIS, S. A. · Mathematical Structures in Computer Science · 2013

Quantum computation and quantum informationPAUL, THIERRY · Mathematical Structures in Computer Science · 2007

Ordinal computationsKOEPKE, PETER; KOERWIEN, MARTIN · Mathematical Structures in Computer Science · 2006

Categories, relations and dynamic programmingMoor, Oege De · Mathematical Structures in Computer Science · 1994

Differential categoriesBLUTE, R. F.; COCKETT, J. R. B.; SEELY, R. A. G. · Mathematical Structures in Computer Science · 2006

Impredicativity entails untypednessLIETZ, PETER; STREICHER, THOMAS · Mathematical Structures in Computer Science · 2002

Towards a quantum programming languageSELINGER, PETER · Mathematical Structures in Computer Science · 2004