Electronic Notes in Theoretical Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
Higher Dimensional Syntax1999/01/01English
Place Bisimulation Equivalences for Design of Concurrent and Sequential Systems1998/01/01English
New Foundations for Rewriting Logic2000/01/01English
A Notion of Classical Pure Type System (Preliminary version)1997/01/01English
Deriving Bisimulation Congruences: A 2-categorical Approach2002/09/01English
Nonsequential Automata Semantics for a Concurrent, Object-Based Language1998/01/01English
Towards characterizing bisimilarity of value-passing processes with context-free control1998/01/01English
A Coequational Approach to Specifying Behaviours1999/01/01English
Types as Processes, via Chu spaces1997/01/01English
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking2003/09/01English
Research on Domain-specific Embedded Languages and Program Generators1998/01/01English
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog1999/01/01English
Preface2003/09/01English
Parameterized Theories and Views in Full Maude 2.02000/01/01English
Polytypic Programming in Maude2000/01/01English
Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -1995/01/01English
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past2002/09/01English
Distributed Branching Bisimulation Reduction of State Spaces2003/09/01English
On the Turing equivalence of Linda coordination primitives1997/01/01English
Design ware: Software Development by Refinement1999/01/01English
Parallel Model Checking for LTL, CTL∗, and L2μ2003/09/01English
Distributed Explicit Bounded LTL Model Checking2003/09/01English
Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking2003/09/01English
A calculus of Kells2003/09/01English
Systematic Development of Concurrent Object-Oriented Programs1998/01/01English
CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi2000/01/01English
Preface2003/09/01English
Preface1999/01/01English
Pixel Geometry2001/03/01English
A Superposition Operator for the Refinement of Algebraic Models2001/03/01English