Search the dblp DataBase

Publications of Author

1. Filippo Bonchi, Fabio Gadducci, Barbara König
   Process Bisimulation Via a Graphical Encoding. [Citation Graph (0, 0)][DBLP]
   ICGT, 2006, pp:168-183 [Conf]
   
2. Filippo Bonchi, Barbara König, Ugo Montanari
   Saturated Semantics for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:69-80 [Conf]
   
3. Filippo Bonchi, Ugo Montanari
   Coalgebraic Models for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:364-379 [Conf]
   
4. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
   A Behavioural Congruence for Web Services. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:240-256 [Conf]
   
5. Filippo Bonchi, Tobias Heindel
   Adhesive DPO Parallelism for Monic Matches. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:51-61 [Journal]
   
6. 
   Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. [Citation Graph (, )][DBLP]
   
   
7. 
   A Category of Explicit Fusions. [Citation Graph (, )][DBLP]
   
   
8. 
   Coalgebraic Symbolic Semantics. [Citation Graph (, )][DBLP]
   
   
9. 
   Encoding Asynchronous Interactions Using Open Petri Nets. [Citation Graph (, )][DBLP]
   
   
10. 
    Deriving Syntax and Axioms for Quantitative Regular Behaviours. [Citation Graph (, )][DBLP]
    
    
11. 
    Minimization Algorithm for Symbolic Bisimilarity. [Citation Graph (, )][DBLP]
    
    
12. 
    Symbolic Semantics Revisited. [Citation Graph (, )][DBLP]
    
    
13. 
    Reactive Systems, Barbed Semantics, and the Mobile Ambients. [Citation Graph (, )][DBLP]
    
    
14. 
    Abstract Semantics by Observable Contexts. [Citation Graph (, )][DBLP]
    
    
15. 
    Parallel and Sequential Independence for Borrowed Contexts. [Citation Graph (, )][DBLP]
    
    
16. 
    Saturated LTSs for Adhesive Rewriting Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions [Citation Graph (, )][DBLP]
    
    
18. 
    On Barbs and Labels in Reactive Systems [Citation Graph (, )][DBLP]
    
    
19. 
    A Coalgebraic Theory of Reactive Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). [Citation Graph (, )][DBLP]
    
    
21. 
    Preface. [Citation Graph (, )][DBLP]