The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ilaria Castellani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    A Theory of Process with Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:108-122 [Conf]
  2. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
    On Bisimulations for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:147-162 [Conf]
  3. Ilaria Castellani, Matthew Hennessy
    Testing Theories for Asynchronous Languages. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:90-101 [Conf]
  4. Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
    Synthesizing Distributed Transition Systems from Global Specification. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:219-231 [Conf]
  5. Ilaria Castellani, Ugo Montanari
    Graph Grammars for distributed systems. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:20-38 [Conf]
  6. Gérard Boudol, Ilaria Castellani
    Noninterference for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:382-395 [Conf]
  7. Gérard Boudol, Ilaria Castellani
    Three Equivalent Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:96-141 [Conf]
  8. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    Observing Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:93-102 [Conf]
  9. Ilaria Castellani
    Observing Distribution in Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:321-331 [Conf]
  10. Gérard Boudol, Ilaria Castellani
    Permutation of transitions: An event structure semantics for CCS and SCCS. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:411-427 [Conf]
  11. Ilaria Castellani
    Causal and Distributed Semantics for Concurrent Processes (Abstract). [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:1- [Conf]
  12. Gérard Boudol, Ilaria Castellani
    On the Semantics of Concurrency: Partial Orders and Transition Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:123-137 [Conf]
  13. Ilaria Castellani
    Bisimulations and Abstraction Homomorphisms. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:223-238 [Conf]
  14. Ilaria Castellani, Catuscia Palamidessi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  15. Ilaria Castellani, Björn Victor
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  16. Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani
    Reactive Concurrent Programming Revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:49-60 [Journal]
  17. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    A Theory of Processes with Localities. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:2, pp:165-200 [Journal]
  18. Gérard Boudol, Ilaria Castellani
    Flow Models of Distributed Computations: Three Equivalent Semantics for CCS [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:114, n:2, pp:247-314 [Journal]
  19. Ilaria Castellani
    Observing Distribution in Processes: Static and Dynamic Localities. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:4, pp:353-393 [Journal]
  20. Ilaria Castellani, Matthew Hennessy
    Distributed bisimulations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1989, v:36, n:4, pp:887-911 [Journal]
  21. Ilaria Castellani
    Bisimulations and Abstraction Homomorphisms. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:210-235 [Journal]
  22. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
    On Bisimulations for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:291-324 [Journal]
  23. André Arnold, Ilaria Castellani
    An Algebraic Characterization of Observational Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:156, n:1&2, pp:289-299 [Journal]
  24. Gérard Boudol, Ilaria Castellani
    Noninterference for concurrent programs and thread systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:281, n:1-2, pp:109-130 [Journal]
  25. Gérard Boudol, Ilaria Castellani
    Concurrency and Atomicity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:25-84 [Journal]
  26. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    Observing Localities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:31-61 [Journal]
  27. Ilaria Castellani, Guo-Qiang Zhang
    Parallel Product of Event Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:179, n:1-2, pp:203-215 [Journal]
  28. Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
    Typing noninterference for reactive programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:124-156 [Journal]

  29. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. [Citation Graph (, )][DBLP]


  30. Session Types for Access and Information Flow Control. [Citation Graph (, )][DBLP]


  31. Reactive concurrent programming revisited [Citation Graph (, )][DBLP]


  32. State-oriented Noninterference for CCS. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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