| 2009 |
|---|
| 15 | EE | Filippo Bonchi,
Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity.
ESOP 2009: 267-284 |
| 14 | EE | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients.
FOSSACS 2009: 272-287 |
| 13 | EE | Filippo Bonchi,
Fabio Gadducci,
Barbara König:
Synthesising CCS bisimulation using graph rewriting.
Inf. Comput. 207(1): 14-40 (2009) |
| 2008 |
|---|
| 12 | EE | Filippo Bonchi,
Maria Grazia Buscemi,
Vincenzo Ciancia,
Fabio Gadducci:
A Category of Explicit Fusions.
Concurrency, Graphs and Models 2008: 544-562 |
| 11 | EE | Filippo Bonchi,
Ugo Montanari:
Symbolic Semantics Revisited.
FoSSaCS 2008: 395-412 |
| 10 | EE | Filippo Bonchi,
Fabio Gadducci,
Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts.
ICGT 2008: 226-241 |
| 9 | EE | Filippo Bonchi:
Abstract Semantics by Observable Contexts.
ICGT 2008: 478-480 |
| 8 | EE | 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 | EE | Filippo Bonchi,
Ugo Montanari:
A Coalgebraic Theory of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008) |
| 6 | EE | 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 | EE | Filippo Bonchi,
Ugo Montanari:
Coalgebraic Models for Reactive Systems.
CONCUR 2007: 364-379 |
| 4 | EE | Filippo Bonchi,
Antonio Brogi,
Sara Corfini,
Fabio Gadducci:
A Behavioural Congruence for Web Services.
FSEN 2007: 240-256 |
| 3 | EE | Filippo Bonchi,
Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 51-61 (2007) |
| 2006 |
|---|
| 2 | EE | Filippo Bonchi,
Fabio Gadducci,
Barbara König:
Process Bisimulation Via a Graphical Encoding.
ICGT 2006: 168-183 |
| 1 | EE | Filippo Bonchi,
Barbara König,
Ugo Montanari:
Saturated Semantics for Reactive Systems.
LICS 2006: 69-80 |
