The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sam Staton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marcelo P. Fiore, Sam Staton
    A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:49-58 [Conf]
  2. Marcelo P. Fiore, Sam Staton
    Comparing Operational Models of Name-Passing Process Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:91-104 [Journal]
  3. Marcelo P. Fiore, Sam Staton
    Comparing operational models of name-passing process calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:524-560 [Journal]

  4. Relating Coalgebraic Notions of Bisimulation. [Citation Graph (, )][DBLP]


  5. Higher-Order Containers. [Citation Graph (, )][DBLP]


  6. Completeness for Algebraic Theories of Local State. [Citation Graph (, )][DBLP]


  7. General Structural Operational Semantics through Categorical Logic. [Citation Graph (, )][DBLP]


  8. On the Expressivity of Symmetry in Event Structures. [Citation Graph (, )][DBLP]


  9. Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. [Citation Graph (, )][DBLP]


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