Electronic Notes in Theoretical Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
Specifying the PLAN Network Programming Langauge1999/01/01English
Coalgebra morphisms subsume open maps1999/01/01English
Internal Languages for Autonomous and ∗-Autonomous Categories1999/01/01English
Linear Types for Higher Order Processes with First Class Directed Channels1995/01/01English
Lambada, Haskell as a better Java2001/08/01English
Rewriting Logic as a Framework for Generic Verification Tools2000/01/01English
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding1999/01/01English
Specification and Programming (by Graph Transformation)1995/01/01English
The simply typed rewriting calculus2000/01/01English
A CLP framework in Java2000/01/01English
Timed CSP = Closed Timed Automata12002/09/01English
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems2000/01/01English
Cyber Assistance for Situtated Human Information Processing (overview of the invited talk)2000/01/01English
Data independent verification of crypto-protocols2001/03/01English
A Note on Outward and Inward Productions in the Categorical Graph-Grammar Approach and Δ-Grammars1995/01/01English
Infinitary Rewriting and Cyclic Graphs1995/01/01English
Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace1997/01/01English
ProveEasy: Helping people learn to do proofs2000/01/01English
Using Net Refinement to Compute the Fixpoint of a Recursive Expression1995/01/01English
Process Languages for ESM Systems1995/01/01English
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions2001/03/01English
Iterated Duals of Certain Topological Spaces2001/03/01English
Implementing β-Reduction by Hypergraph Rewriting1995/01/01English
Linear Time Computable Problems and Logical Descriptions1995/01/01English
On proving syntactic properties of CPS programs1999/01/01English
Parallel Software Performance Metrics as Continuous Functions of Event Times2001/03/01English
Object Closure Conversion1999/01/01English
Multi-engine Horn Clause Prolog2000/01/01English
On the Phenomenon of Autocomputability2000/01/01English
Coalgebra-to-Algebra Morphisms1999/01/01English