The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Algebr. Program.
2004, volume: 60, number:

  1. Luca Aceto, Wan Fokkink
    Guesteditors'introduction: Special issue on Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:1-2 [Journal]
  2. Gordon D. Plotkin
    The origins of structural operational semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:3-15 [Journal]
  3. Gordon D. Plotkin
    A structural approach to operational semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:17-139 [Journal]
  4. Ralf Lämmel
    Evolution of rule-based programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:141-193 [Journal]
  5. Peter D. Mosses
    Modular structural operational semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:195-228 [Journal]
  6. Rob J. van Glabbeek
    The meaning of negative premises in transition system specifications II. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:229-258 [Journal]
  7. Bartek Klin
    Adding recursive constructs to bialgebraic semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:259-286 [Journal]
  8. Alex K. Simpson
    Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:287-322 [Journal]
  9. Jos C. M. Baeten, Erik P. de Vink
    Axiomatizing GSOS with termination. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:323-351 [Journal]
  10. Simone Tini
    Rule formats for compositional non-interference properties. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:353-400 [Journal]
  11. Irek Ulidowski, Shoji Yuen
    Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:401-460 [Journal]
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