32 citations · 54 across the 12 of their papers we have counts for
5 papers · 1 filter
Bisimilarity of Open Terms in Stream GSOS
Filippo Bonchi, Tom van Bussel, Matias David Lee +1
Stream GSOS is a specification format for operations and calculi on infinite sequences. The notion of bisimilarity provides a canonical proof technique for equivalence of closed te…
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by ins…
Up-To Techniques for Behavioural Metrics via Fibrations
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques are a well-known method for enhancing coinductive proofs of behavioural equivalences. We introduce up-to techniques for behavioural metrics between systems modelle…
Sound up-to techniques and Complete abstract domains
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi +1
Abstract interpretation is a method to automatically find invariants of programs or pieces of code whose semantics is given via least fixed-points. Up-to techniques have been intro…
Graphical Conjunctive Queries
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
The Calculus of Conjunctive Queries (CCQ) has foundational status in database theory. A celebrated theorem of Chandra and Merlin states that CCQ query inclusion is decidable. Its p…