Electronic Notes in Theoretical Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
Logic and Graphs1995/01/01English
On Equators in Asynchronous Name-passing Calculi without Matching – Extended Abstract –1999/01/01English
Attributed Variables in XSB2000/01/01English
Concurrent Realizations of Reactive Systems1999/01/01English
Fibred models of processes1999/01/01English
Parallel Rewriting of Graphs through the Pullback Approach1995/01/01English
Dependent Coercions1999/01/01English
Branching Processes of general S/T-Systems and their properties1998/01/01English
Measurements on domains and topology2001/03/01English
Using Duality to Solve Domain Equations1997/01/01English
Domain Equations for Probabilistic Processes (Extended Abstract)1997/01/01English
Fixed Points in Metric Semantics2001/03/01English
True Concurrency = Interleaving Concurrency + Weak Conflict1998/01/01English
Behavioral and Coinductive Rewriting (invited talk)2000/01/01English
Derivation of Characteristic Formulae1998/01/01English
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation (Extended Abstract)1997/01/01English
Compressed and Distributed File Formats for Labeled Transition Systems2003/09/01English
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations2003/09/01English
Intensionality of Modal Logic for Robust Ambient Calculus2003/09/01English
Towards a Tree of Channels2003/09/01English
Ambient Petri Nets2003/09/01English
Formalisms for Mobile Resource Control2003/09/01English
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice2001/03/01English
Benchmarking Explicit State Parallel Model Checkers2003/09/01English
DPO Rewriting and Abstract Semantics via Opfibrations1995/01/01English
Models for the computational λ-calculus2001/03/01English
A Logical Process Calculus2002/09/01English
Preface1999/01/01English
Bisimulation and Hidden Algebra1999/01/01English
Preface1995/01/01English