


Остановите войну!
for scientists:
Filippo 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
- 2022
- [j38]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) - [j37]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18(2) (2022) - 2021
- [j36]Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281: 104767 (2021) - [j35]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17(3) (2021) - [c65]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 - [c64]Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski:
On Doctrines and Cartesian Bicategories. CALCO 2021: 10:1-10:17 - [c63]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 - [c62]Filippo Bonchi, Alessio Santamaria:
Combining Semilattices and Semimodules. FoSSaCS 2021: 102-123 - [c61]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 - [e3]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
- [c60]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
- [j34]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) - [j33]Filippo Bonchi
, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172: 1-26 (2019) - [c59]Filippo Bonchi
, Laura Bussi, Fabio Gadducci
, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c58]Filippo Bonchi
, Jens Seeber, Pawel Sobocinski
:
The Axiom of Choice in Cartesian Bicategories. CALCO 2019: 15:1-15:17 - [c57]Filippo Bonchi
, Robin Piedeleu, Pawel Sobocinski
, Fabio Zanasi
:
Bialgebraic Semantics for String Diagrams. CONCUR 2019: 37:1-37:17 - [c56]Filippo Bonchi:
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS 2019 - [c55]Filippo Bonchi
, Robin Piedeleu, Pawel Sobocinski
, Fabio Zanasi
:
Graphical Affine Algebra. LICS 2019: 1-12 - [c54]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
- [j32]Filippo Bonchi
, Pawel Sobocinski
, Fabio Zanasi
:
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95: 128-146 (2018) - [j31]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14(3) (2018) - [j30]Filippo Bonchi
, Antonio Brogi, Andrea Canciani, Jacopo Soldani
:
Simulation-based matching of cloud applications. Sci. Comput. Program. 162: 110-131 (2018) - [c53]Filippo Bonchi
, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17 - [c52]Filippo Bonchi
, Jens Seeber, Pawel Sobocinski
:
Graphical Conjunctive Queries. CSL 2018: 13:1-13:23 - [c51]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting with Frobenius. LICS 2018: 165-174 - [c50]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
- [j29]Filippo Bonchi
, Daniela Petrisan, Damien Pous
, Jurriaan Rot:
A general account of coinduction up-to. Acta Informatica 54(2): 127-190 (2017) - [j28]Filippo Bonchi
, Pawel Sobocinski
, Fabio Zanasi
:
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252: 2-29 (2017) - [j27]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) - [c49]Filippo Bonchi
, Alexandra Silva, Ana Sokolova
:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c48]Filippo Bonchi
, Joshua Holland, Dusko Pavlovic
, Pawel Sobocinski
:
Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16 - [c47]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c46]Filippo Bonchi
, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. FSEN 2017: 35-50 - [c45]Filippo Bonchi
, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552 - [e2]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
- [j26]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) - [c44]Filippo Bonchi
, Pawel Sobocinski
, Fabio Zanasi
:
Lawvere Categories as Composed PROPs. CMCS 2016: 11-32 - [c43]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [c42]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
- [j25]Filippo Bonchi
, Damien Pous
:
Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2): 87-95 (2015) - [j24]Filippo Bonchi
, Fabio Zanasi
:
Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. 11(1) (2015) - [j23]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j22]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) - [j21]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) - [j20]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) - [j19]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) - [c41]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 - [c40]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49 - [c39]Filippo Bonchi
, Daniela Petrisan, Damien Pous
, Jurriaan Rot:
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253 - [c38]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
- [j18]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j17]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) - [j16]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) - [c37]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 - [c36]Filippo Bonchi
, Pawel Sobocinski
, Fabio Zanasi
:
A Categorical Semantics of Signal Flow Graphs. CONCUR 2014: 435-450 - [c35]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - [c34]Filippo Bonchi
, Daniela Petrisan, Damien Pous
, Jurriaan Rot:
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9 - [c33]Filippo Bonchi
, Pawel Sobocinski
, Fabio Zanasi
:
Interacting Bialgebras Are Frobenius. FoSSaCS 2014: 351-365 - [c32]Paolo Baldan, Filippo Bonchi
, Henning Kerstan, Barbara König:
Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415 - [c31]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
- [j15]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) - [c30]Filippo Bonchi
, Georgiana Caltais, Damien Pous
, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [c29]Filippo Bonchi, Fabio Zanasi
:
Saturated Semantics for Coalgebraic Logic Programming. CALCO 2013: 80-94 - [c28]Filippo Bonchi
, Damien Pous
:
Checking NFA equivalence with bisimulations up to congruence. POPL 2013: 457-468 - [c27]Luis Fernando Pino, Filippo Bonchi
, Frank D. Valencia:
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP 2013: 263-274 - 2012
- [j14]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) - [j13]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) - [j12]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) - [c26]Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c25]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 - [c24]Andrés Aristizábal, Filippo Bonchi
, Frank D. Valencia, Luis Fernando Pino:
Partition refinement for bisimilarity in CCP. SAC 2012: 88-93 - [c23]Andrés Aristizábal, Filippo Bonchi
, Luis Fernando Pino, Frank Valencia:
Reducing Weak to Strong Bisimilarity in CCP. ICE 2012: 2-16 - [c22]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
- [j11]Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras. Log. Methods Comput. Sci. 7(2) (2011) - [j10]Alexandra Silva, Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j9]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) - [c21]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c20]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
- [c19]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c18]Alexandra Silva, Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c17]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
2000 – 2009
- 2009
- [j8]Filippo Bonchi
, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
:
Preface. Electron. Notes Theor. Comput. Sci. 229(3): 1-2 (2009) - [j7]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) - [j6]Filippo Bonchi
, Fabio Gadducci
, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [j5]Filippo Bonchi
, Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009) - [c16]Filippo Bonchi
, Ugo Montanari:
Coalgebraic Symbolic Semantics. CALCO 2009: 173-190 - [c15]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c14]Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c13]Filippo Bonchi
, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284 - [c12]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c11]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents] - 2008
- [j4]Filippo Bonchi
, Ugo Montanari:
G-Reactive Systems as Coalgebras. Electron. Notes Theor. Comput. Sci. 203(6): 3-17 (2008) - [j3]Filippo Bonchi, Ugo Montanari:
A Coalgebraic Theory of Reactive Systems. Electron. Notes Theor. Comput. Sci. 209: 201-215 (2008) - [j2]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [c10]Filippo Bonchi
, Antonio Brogi, Sara Corfini, Fabio Gadducci
:
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71 - [c9]Filippo Bonchi
, Maria Grazia Buscemi, Vincenzo Ciancia
, Fabio Gadducci
:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c8]Filippo Bonchi
, Ugo Montanari:
Symbolic Semantics Revisited. FoSSaCS 2008: 395-412 - [c7]Filippo Bonchi
, Fabio Gadducci
, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c6]Filippo Bonchi:
Abstract Semantics by Observable Contexts. ICGT 2008: 478-480 - [c5]