The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Filippo Bonchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.062secs, Finished in 0.063secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002