The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Iain Phillips: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Iain Phillips
    CCS with Priority Guards. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:305-320 [Conf]
  2. Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
    Separation Results Via Leader Election Problems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:172-194 [Conf]
  3. Iain Phillips, Maria Grazia Vigliotti
    Electoral Systems in Ambient Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:408-422 [Conf]
  4. Iain Phillips
    Refusal Testing. [Citation Graph (0, 0)][DBLP]
    ICALP, 1986, pp:304-313 [Conf]
  5. John H. Connolly, Iain Phillips
    User-System Interface Design. [Citation Graph (0, 0)][DBLP]
    Organizational Semiotics, 2001, pp:119-132 [Conf]
  6. Iain Phillips, Maria Grazia Vigliotti
    On Reduction Semantics for the Push and Pull Ambitent Calculus. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:550-562 [Conf]
  7. Marta Z. Kwiatkowska, Iain Phillips
    Concurrency and Conflict in CSP. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:209-225 [Conf]
  8. Iain Phillips
    A Note on Expressiveness of Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:260-264 [Conf]
  9. Sergio Maffeis, Iain Phillips
    On the Computational Strength of Pure Ambient Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:29-49 [Journal]
  10. Iain Phillips, Maria Grazia Vigliotti
    Leader Election in Rings of Ambient Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:185-199 [Journal]
  11. Maria Grazia Vigliotti, Iain Phillips
    Barbs and Congruences for Safe Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  12. Irek Ulidowski, Iain Phillips
    Ordered SOS Process Languages for Branching and Eager Bisimulations. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:180-213 [Journal]
  13. Sergio Maffeis, Iain Phillips
    On the computational strength of pure ambient calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:501-551 [Journal]
  14. Iain Phillips
    Refusal Testing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:50, n:, pp:241-284 [Journal]
  15. Iain Phillips, Maria Grazia Vigliotti
    Leader election in rings of ambient processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:468-494 [Journal]
  16. Roberto M. Amadio, Iain Phillips
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:1-2 [Journal]
  17. Iain Phillips, Irek Ulidowski
    Reversing algebraic process calculi. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:70-96 [Journal]

  18. Honey Plotter and the Web of Terror. [Citation Graph (, )][DBLP]


  19. Processing network delay measurements into network events. [Citation Graph (, )][DBLP]


  20. Reversibility and Models for Concurrency. [Citation Graph (, )][DBLP]


  21. Matching Systems for Concurrent Calculi. [Citation Graph (, )][DBLP]


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