Filippo Bonchi
Publications
Publications
|
|
The Theory of Traces for Systems with Nondeterminism and ProbabilityLogic in Computer Science (LICS) 2019, Jun 2019, Vancouver, Canada |
|
|
Bisimilarity of Open Terms in Stream GSOS7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩ |
|
|
Lawvere Categories as Composed PROPs13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩ |
Asynchronous Traces and Open Petri NetsProgramming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩ |
|
Lax Bialgebras and Up-To Techniques for Weak Bisimulations26th International Conference on Concurrency Theory (CONCUR), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.240⟩ |
|
Full Abstraction for Signal Flow GraphsProceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩ |
|
Towards Trace Metrics via Functor Lifting6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Jun 2015, Nijmegen, Netherlands. ⟨10.4230/LIPIcs.CALCO.2015.35⟩ |
|
|
|
A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic ChoiceICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩ |
|
|
A Categorical Semantics of Signal Flow GraphsCONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy |
Interacting Bialgebras are FrobeniusFoSSaCS 2014, Apr 2014, Grenoble, France. pp.351-365 |
|
|
|
Coinduction up to in a fibrational settingCSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩ |
Saturated Semantics for Coalgebraic Logic ProgrammingCALCO, Sep 2013, Warsaw, Poland. pp.80-94 |
|
|
|
Brzozowski's and Up-To Algorithms for Must Testing11th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2013, Melbourne, Australia. pp.1-16, ⟨10.1007/978-3-319-03542-0_1⟩ |
Efficient computation of program equivalence for confluent concurrent constraint programmingPPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩ |
|
|
|
Checking NFA equivalence with bisimulations up to congruencePrinciple of Programming Languages (POPL), Jan 2013, Roma, Italy. pp.457-468, ⟨10.1145/2429069.2429124⟩ |
Final Semantics for Decorated Traces.Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, Jun 2012, United Kingdom. pp.73-86 |
|
A Coalgebraic Perspective on Minimization and Determinization.Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, Estonia. pp.58-73 |
|
|
|
Reducing Weak to Strong Bisimilarity in CCPFifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩ |
Brzozowski's Algorithm (Co)Algebraically.Logic and Program Semantics: 60 Birthday Dexter Kozen, 2012, United States. pp.12-23 |
|
|
|
Partition Refinement for Bisimilarity in CCP27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93 |
|
|
Deriving Labels and Bisimilarity for Concurrent Constraint ProgrammingFOSSACS 2011 : 14th International Conference on Foundations of Software Science and Computational Structures, Mar 2011, Saarbrücken, Germany. pp.138-152, ⟨10.1007/ISBN978-3-642-19804-5⟩ |
Towards a General Theory of Barbs, Contexts and Labels.Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, 2012, Taiwan. pp.289-304 |
|
Concurrency Can't Be Observed, AsynchronouslyProgramming Languages and Systems - 8th Asian Symposium, APLAS 2010, Nov 2010, Shanghai, China. pp.424-438 |
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)Filippo Bonchi; Barbara Konig. 2019 |
|
Mathematical Structures in Computer Science Preface to special issue: EXPRESS, ICE and SOS 2009.Cambridge Journal, pp.123-124, 2012 |
|
|
A Survey of Compositional Signal Flow TheoryAdvancing Research in Information and Communication Technology, AICT-600, pp.29-56, 2021, ⟨10.1007/978-3-030-81701-5_2⟩ |
|
|
RPO Semantics for Mobile Ambients2011 |