Filippo Bonchi
43
Documents
Publications
|
The Theory of Traces for Systems with Nondeterminism and ProbabilityLogic in Computer Science (LICS) 2019, Jun 2019, Vancouver, Canada
Conference papers
hal-02187093v1
|
|
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⟩
Conference papers
hal-01760851v1
|
|
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⟩
Conference papers
hal-01446031v1
|
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⟩
Conference papers
hal-01178437v2
|
|
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⟩
Conference papers
hal-01285298v1
|
|
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⟩
Conference papers
hal-01285297v1
|
|
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⟩
Conference papers
hal-01285299v1
|
|
|
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⟩
Conference papers
hal-01006382v2
|
|
A Categorical Semantics of Signal Flow GraphsCONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy
Conference papers
hal-02134182v1
|
Interacting Bialgebras are FrobeniusFoSSaCS 2014, Apr 2014, Grenoble, France. pp.351-365
Conference papers
hal-00989174v1
|
|
|
Coinduction up to in a fibrational settingCSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩
Conference papers
hal-00936488v2
|
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⟩
Conference papers
hal-00909394v1
|
|
|
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⟩
Conference papers
hal-00966072v1
|
Saturated Semantics for Coalgebraic Logic ProgrammingCALCO, Sep 2013, Warsaw, Poland. pp.80-94
Conference papers
hal-00909353v1
|
|
|
Checking NFA equivalence with bisimulations up to congruencePrinciple of Programming Languages (POPL), Jan 2013, Roma, Italy. pp.457-468, ⟨10.1145/2429069.2429124⟩
Conference papers
hal-00639716v5
|
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
Conference papers
hal-00798063v1
|
|
Towards a General Theory of Barbs, Contexts and Labels.Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, 2012, Taiwan. pp.289-304
Conference papers
hal-00798068v1
|
|
|
Partition Refinement for Bisimilarity in CCP27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93
Conference papers
hal-00641408v3
|
Final Semantics for Decorated Traces.Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, Jun 2012, United Kingdom. pp.73-86
Conference papers
hal-00798060v1
|
|
|
Reducing Weak to Strong Bisimilarity in CCPFifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩
Conference papers
hal-00761611v1
|
Brzozowski's Algorithm (Co)Algebraically.Logic and Program Semantics: 60 Birthday Dexter Kozen, 2012, United States. pp.12-23
Conference papers
hal-00798062v1
|
|
|
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⟩
Conference papers
hal-00546722v1
|
Concurrency Can't Be Observed, AsynchronouslyProgramming Languages and Systems - 8th Asian Symposium, APLAS 2010, Nov 2010, Shanghai, China. pp.424-438
Conference papers
hal-00573020v1
|
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)Filippo Bonchi; Barbara Konig. 2019
Books
hal-02148756v1
|
|
Mathematical Structures in Computer Science Preface to special issue: EXPRESS, ICE and SOS 2009.Cambridge Journal, pp.123-124, 2012
Books
hal-00798061v1
|
|
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⟩
Book sections
hal-03325995v1
|
|
RPO Semantics for Mobile Ambients2011
Reports
hal-00573001v1
|