 | 2009 |
|---|
| 20 |       | Filippo Bonchi,
Ugo Montanari:
Coalgebraic Symbolic Semantics.
CALCO 2009: 173-190 |
| 19 | | Filippo Bonchi,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR 2009: 146-162 |
| 18 | | Paolo Baldan,
Filippo Bonchi,
Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets.
CONCUR 2009: 99-114 |
| 17 | | Filippo Bonchi,
Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity.
ESOP 2009: 267-284 |
| 16 | | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients.
FOSSACS 2009: 272-287 |
| 15 | | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).
Electr. Notes Theor. Comput. Sci. 242(1): 73-98 (2009) |
| 14 | | Filippo Bonchi,
Fabio Gadducci,
Barbara König:
Synthesising CCS bisimulation using graph rewriting.
Inf. Comput. 207(1): 14-40 (2009) |
| 13 | | Filippo Bonchi,
Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.
Theor. Comput. Sci. 410(41): 4044-4066 (2009) |
| 2008 |
|---|
| 12 | | Filippo Bonchi,
Maria Grazia Buscemi,
Vincenzo Ciancia,
Fabio Gadducci:
A Category of Explicit Fusions.
Concurrency, Graphs and Models 2008: 544-562 |
| 11 | | Filippo Bonchi,
Ugo Montanari:
Symbolic Semantics Revisited.
FoSSaCS 2008: 395-412 |
| 10 | | Filippo Bonchi,
Fabio Gadducci,
Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts.
ICGT 2008: 226-241 |
| 9 | | Filippo Bonchi:
Abstract Semantics by Observable Contexts.
ICGT 2008: 478-480 |
| 8 | | 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 |
| 7 | | Filippo Bonchi,
Ugo Montanari:
A Coalgebraic Theory of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008) |
| 6 | | Filippo Bonchi,
Antonio Brogi,
Sara Corfini,
Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development.
Fundam. Inform. 89(4): 479-510 (2008) |
| 2007 |
|---|
| 5 | | Filippo Bonchi,
Ugo Montanari:
Coalgebraic Models for Reactive Systems.
CONCUR 2007: 364-379 |
| 4 | | Filippo Bonchi,
Antonio Brogi,
Sara Corfini,
Fabio Gadducci:
A Behavioural Congruence for Web Services.
FSEN 2007: 240-256 |
| 3 | | Filippo Bonchi,
Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007) |
| 2006 |
|---|
| 2 | | Filippo Bonchi,
Fabio Gadducci,
Barbara König:
Process Bisimulation Via a Graphical Encoding.
ICGT 2006: 168-183 |
| 1 | | Filippo Bonchi,
Barbara König,
Ugo Montanari:
Saturated Semantics for Reactive Systems.
LICS 2006: 69-80 |
