Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFilippo Bonchi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j38]Filippo Bonchi
, Alessandro Di Giorgio, Alessio Santamaria:
Deconstructing the Calculus of Relations with Tape Diagrams. Proc. ACM Program. Lang. 7(POPL): 1864-1894 (2023)- [c70]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) 2023: 41-63 - [i29]Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo:
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR abs/2307.02817 (2023) - 2022
- [j37]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022) - [j36]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18(2) (2022) - [j35]Filippo Bonchi, Alessio Santamaria:
Convexity via Weak Distributive Laws. Log. Methods Comput. Sci. 18(4) (2022) - [j34]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j33]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32(7): 829-869 (2022) - [i28]Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria:
Deconstructing the Calculus of Relations with Tape Diagrams. CoRR abs/2210.09950 (2022) - 2021
- [j32]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281: 104767 (2021) - [j31]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17(3) (2021) - [c69]Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi:
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO 2021: 9:1-9:19 - [c68]Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski:
On Doctrines and Cartesian Bicategories. CALCO 2021: 10:1-10:17 - [c67]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO 2021: 11:1-11:18 - [c66]Filippo Bonchi, Alessio Santamaria:
Combining Semilattices and Semimodules. FoSSaCS 2021: 102-123 - [c65]Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski:
Diagrammatic Polyhedral Algebra. FSTTCS 2021: 40:1-40:18 - [p1]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
A Survey of Compositional Signal Flow Theory. IFIP's Exciting First 60+ Years 2021: 29-56 - [e4]Filippo Bonchi, Simon J. Puglisi:
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. LIPIcs 202, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-201-3 [contents] - [i27]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021) - [i26]Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski:
Diagrammatic Polyhedral Algebra. CoRR abs/2105.10946 (2021) - [i25]Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski:
On Doctrines and Cartesian Bicategories. CoRR abs/2106.08142 (2021) - [i24]Filippo Bonchi, Alessio Santamaria:
Convexity via Weak Distributive Laws. CoRR abs/2108.10718 (2021) - [i23]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021) - 2020
- [c64]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Contextual Equivalence for Signal Flow Graphs. FoSSaCS 2020: 77-96 - [i22]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Contextual Equivalence for Signal Flow Graphs. CoRR abs/2002.08874 (2020) - [i21]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Cartesian bicategories with choice. CoRR abs/2003.09453 (2020) - [i20]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR abs/2005.01670 (2020) - [i19]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020) - [i18]Filippo Bonchi, Alessio Santamaria:
Combining Semilattices and Semimodules. CoRR abs/2012.14778 (2020)
2010 – 2019
- 2019
- [j30]Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3(POPL): 25:1-25:28 (2019) - [j29]Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172: 1-26 (2019) - [c63]Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c62]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
The Axiom of Choice in Cartesian Bicategories. CALCO 2019: 15:1-15:17 - [c61]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic Semantics for String Diagrams. CONCUR 2019: 37:1-37:17 - [c60]Filippo Bonchi:
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS 2019 - [c59]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Graphical Affine Algebra. LICS 2019: 1-12 - [c58]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism and Probability. LICS 2019: 1-14 - [i17]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic Semantics for String Diagrams. CoRR abs/1906.01519 (2019) - 2018
- [j28]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95: 128-146 (2018) - [j27]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14(3) (2018) - [j26]Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Simulation-based matching of cloud applications. Sci. Comput. Program. 162: 110-131 (2018) - [c57]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17 - [c56]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Graphical Conjunctive Queries. CSL 2018: 13:1-13:23 - [c55]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting with Frobenius. LICS 2018: 165-174 - [c54]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. LICS 2018: 175-184 - [i16]Filippo Bonchi, Jens Seeber, Pawel Sobocinski:
Graphical Conjunctive Queries. CoRR abs/1804.07626 (2018) - [i15]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. CoRR abs/1804.10507 (2018) - [i14]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR abs/1806.11064 (2018) - [i13]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR abs/1808.00923 (2018) - [i12]Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. CoRR abs/1811.03606 (2018) - 2017
- [j25]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
A general account of coinduction up-to. Acta Informatica 54(2): 127-190 (2017) - [j24]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252: 2-29 (2017) - [j23]Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017) - [c53]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c52]Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski:
Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16 - [c51]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c50]Filippo Bonchi, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. FSEN 2017: 35-50 - [c49]Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552 - [e3]Filippo Bonchi, Barbara König:
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. LIPIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-033-0 [contents] - [i11]Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems (Extended Version). CoRR abs/1701.05001 (2017) - [i10]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CoRR abs/1707.02344 (2017) - [i9]Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski:
Functorial Semantics for Relational Theories. CoRR abs/1711.08699 (2017) - [i8]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. CoRR abs/1712.07511 (2017) - 2016
- [j22]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [c48]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Lawvere Categories as Composed PROPs. CMCS 2016: 11-32 - [c47]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c46]Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Behaviour-Aware Matching of Cloud Applications. TASE 2016: 117-124 - [i7]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - 2015
- [j21]Filippo Bonchi, Damien Pous:
Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2): 87-95 (2015) - [j20]Filippo Bonchi, Fabio Zanasi:
Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. 11(1) (2015) - [j19]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j18]Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia:
Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. 100: 84-104 (2015) - [j17]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [j16]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. 111: 135-155 (2015) - [j15]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604: 102-126 (2015) - [c45]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c44]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [c43]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253 - [c42]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Full Abstraction for Signal Flow Graphs. POPL 2015: 515-526 - [i6]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CoRR abs/1505.08105 (2015) - 2014
- [j14]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j13]Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [j12]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - [c41]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS 2014: 53-74 - [c40]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
A Categorical Semantics of Signal Flow Graphs. CONCUR 2014: 435-450 - [c39]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c38]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9 - [c37]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Bialgebras Are Frobenius. FoSSaCS 2014: 351-365 - [c36]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [c35]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC 2014: 351-368 - [i5]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up to in a fibrational setting. CoRR abs/1401.6675 (2014) - [i4]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR abs/1402.4062 (2014) - [i3]Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Hopf Algebras. CoRR abs/1403.7048 (2014) - [i2]Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. CoRR abs/1410.3385 (2014) - 2013
- [j11]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013) - [c34]Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [c33]Filippo Bonchi, Fabio Zanasi:
Saturated Semantics for Coalgebraic Logic Programming. CALCO 2013: 80-94 - [c32]Filippo Bonchi, Damien Pous:
Checking NFA equivalence with bisimulations up to congruence. POPL 2013: 457-468 - [c31]Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia:
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013: 263-274 - 2012
- [j10]Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva:
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012) - [j9]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [j8]Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin:
Preface to special issue: EXPRESS, ICE and SOS 2009. Math. Struct. Comput. Sci. 22(2): 123-124 (2012) - [c30]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c29]Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva:
A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73 - [c28]Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino:
Partition refinement for bisimilarity in CCP. SAC 2012: 88-93 - [c27]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia:
Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16 - [c26]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
Final Semantics for Decorated Traces. MFPS 2012: 73-86 - [i1]Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia:
Partition Refinement for Bisimilarity in CCP. CoRR abs/1212.1548 (2012) - 2011
- [j7]Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras. Log. Methods Comput. Sci. 7(2) (2011) - [j6]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j5]Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König:
A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011) - [c25]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c24]Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia:
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS 2011: 138-152 - 2010
- [c23]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c22]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c21]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
2000 – 2009
- 2009
- [j4]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [j3]Filippo Bonchi, Fabio Gadducci, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [j2]Filippo Bonchi, Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009) - [c20]Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. CALCO 2009: 173-190 - [c19]Paolo Baldan, Filippo Bonchi, Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c18]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c17]Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284 - [c16]