A General Theory of Barbs, Contexts, and Labels
- 期刊名称ACM Transactions on Computational Logic
- 作者Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
- 卷第15卷
- 期第4期
- 印刷ISSN1529-3785
- 文件大小727.49KB
- 发表时间2014-09-16
- DOI10.1145/2631916
- 页码1-27
RPO semantics for mobile ambientsBONCHI, FILIPPO; GADDUCCI, FABIO; MONREALE, GIACOMA VALENTINA · Mathematical Structures in Computer Science · 2014
Concurrency cannot be observed, asynchronouslyBALDAN, PAOLO; BONCHI, FILIPPO; GADDUCCI, FABIO; MONREALE, GIACOMA VALENTINA · Mathematical Structures in Computer Science · 2015
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
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007