Concurrency cannot be observed, asynchronously
- 期刊名称Mathematical Structures in Computer Science
- 作者BALDAN, PAOLO; BONCHI, FILIPPO; GADDUCCI, FABIO; MONREALE, GIACOMA VALENTINA
- 卷第25卷
- 期第4期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小644.50KB
- 发表时间2015-05
- DOI10.1017/s0960129513000108
- 页码978-1004
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