Volume 373,
Numbers 1-2,
March 2007
- Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence:
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
1-18
Electronic Edition (link) BibTeX
- Gerald Lüttgen, Walter Vogler:
Conjunction on processes: Full abstraction via ready-tree semantics.
19-40
Electronic Edition (link) BibTeX
- Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
Space-aware ambients and processes.
41-69
Electronic Edition (link) BibTeX
- Manuel Clavel, José Meseguer, Miguel Palomino:
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.
70-91
Electronic Edition (link) BibTeX
- Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for probabilistic finite-state behaviors.
92-114
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Compact and tractable automaton-based representations of time granularities.
115-141
Electronic Edition (link) BibTeX
- Isar Stubbe:
Towards "dynamic domains": Totally continuous cocomplete Q-categories.
142-160
Electronic Edition (link) BibTeX
Volume 373,
Number 3,
April 2007
Structural Operational Semantics Preface
Contributions
Copyright © Sun May 17 00:25:10 2009
by Michael Ley (ley@uni-trier.de)
