Electronic Notes in Theoretical Computer Science, Volume 44

Volume 44, Number 1, 2001

• Andrea Corradini, Marina Lenisa, Ugo Montanari:
  Preface.
  Electronic Edition (link) BibTeX
• Peter Aczel, Jirí Adámek, Jiri Velebil:
  A Coalgebraic View of Infinite Trees and Iteration.
  Electronic Edition (link) BibTeX
• Jirí Adámek, Hans-E. Porst:
  From Varieties of Algebras to Covarieties of Coalgebras.
  Electronic Edition (link) BibTeX
• Luís Soares Barbosa:
  Process Calculià la Bird-Meertens.
  Electronic Edition (link) BibTeX
• Falk Bartels:
  Generalised Coinduction.
  Electronic Edition (link) BibTeX
• J. Robin B. Cockett:
  Deforestation, program transformation, and cut-elimination.
  Electronic Edition (link) BibTeX
• Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
  Algebras, Coalgebras, Monads and Comonads.
  Electronic Edition (link) BibTeX
• Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch:
  When is a function a fold or an unfold?
  Electronic Edition (link) BibTeX
• Robert Goldblatt:
  A Calculus of Terms for Coalgebras of Polynomial Functors.
  Electronic Edition (link) BibTeX
• H. Peter Gumm, Tobias Schröder:
  Monoid-labeled transition systems.
  Electronic Edition (link) BibTeX
• Jesse Hughes:
  Modal Operators for Coequations.
  Electronic Edition (link) BibTeX
• Martin Hyland, John Power:
  Two-dimensional linear algebra.
  Electronic Edition (link) BibTeX
• Alexander Kurz:
  Modal Rules are Co-Implications.
  Electronic Edition (link) BibTeX
• Dragan Masulovic:
  Invariants of monadic coalgebras.
  Electronic Edition (link) BibTeX
• Dirk Pattinson:
  Modal Languages for Coalgebras in a Topological Setting.
  Electronic Edition (link) BibTeX
• Gordon D. Plotkin:
  Bialgebraic Semantics and Recursion (Extended Abstract).
  Electronic Edition (link) BibTeX
• Erik Poll, Jan Zwanenburg:
  From Algebras and Coalgebras to Dialgebras.
  Electronic Edition (link) BibTeX

Volume 44, Number 2, 2001

• Mark van den Brand, Didier Parigot:
  Foreword.
  Electronic Edition (link) BibTeX
• Paul Klint:
  Collaborative Development of Interactive Language Processing Tools.
  Electronic Edition (link) BibTeX
• Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser:
  The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
  Electronic Edition (link) BibTeX
• Ralf Lämmel, Guido Wachsmuth:
  Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment.
  Electronic Edition (link) BibTeX
• Tobias Kuipers, Joost Visser:
  Object-oriented Tree Traversal with JJForester.
  Electronic Edition (link) BibTeX
• Görel Hedin, Eva Magnusson:
  JastAdd - a Java-based system for implementing front ends.
  Electronic Edition (link) BibTeX
• Merijn de Jonge, Eelco Visser, Joost Visser:
  XT: a bundle of program transformation tools.
  Electronic Edition (link) BibTeX
• Kyung-Goo Doh, Peter D. Mosses:
  Composing Programming Languages by Combining Action-Semantics Modules.
  Electronic Edition (link) BibTeX
• José Emilio Labra Gayo, María Cándida Luengo Díez, Juan Manuel Cueva Lovelle, Agustín Cernuda del Río:
  LPS: A Language Prototyping System Using Modular Monadic Semantics.
  Electronic Edition (link) BibTeX
• Ralf Lämmel, Günter Riedewald:
  Prological Language Processing.
  Electronic Edition (link) BibTeX
• Luis Carlos de Sousa Menezes, Hermano Perrelli de Moura, Wanderley Cansanção, Francisco Lima, Leonardo Ribeiro:
  An Action Semantics Integrated Development Environment.
  Electronic Edition (link) BibTeX
• Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek:
  Pattern-Matching Compiler.
  Electronic Edition (link) BibTeX
• Keisuke Nakano, Susumu Nishimura:
  Deriving Event-Based Document Transformers from Tree-Based Specifications.
  Electronic Edition (link) BibTeX
• Thomas Noll:
  A Rewriting Logic Implementation of Erlang.
  Electronic Edition (link) BibTeX
• Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier:
  SmartTools: a Generator of Interactive Environment Tools.
  Electronic Edition (link) BibTeX

Volume 44, Number 3, 2001

• Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
  RelMiS 2001 - Preface.
  Electronic Edition (link) BibTeX
• David Lorge Parnas:
  The Tabular Method for Relational Documentation.
  Electronic Edition (link) BibTeX
• Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese:
  Prototyping and Programming with Relations.
  Electronic Edition (link) BibTeX
• Wolfram Kahl:
  Refinement and Development of Programs from Relational Specifications.
  Electronic Edition (link) BibTeX
• Diego Del Gobbo, Ali Mili:
  An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System.
  Electronic Edition (link) BibTeX
• Ridha Khédri:
  Requirements Scenarios Formalization Technique: N Versions Towards One Good Version.
  Electronic Edition (link) BibTeX
• Eugenio G. Omodeo, Ernst-Erich Doberkat:
  Algebraic semantics of ER-models in the context of the calculus of relations.
  Electronic Edition (link) BibTeX
• Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni:
  A graphical approach to relational reasoning.
  Electronic Edition (link) BibTeX
• Roberto Bruni, Fabio Gadducci:
  Some algebraic laws for spans.
  Electronic Edition (link) BibTeX
• Michael Winter:
  Generating Processes from Specifications using the Relation Manipulation System RelView.
  Electronic Edition (link) BibTeX

Volume 44, Number 4, 2001

• Hartmut Ehrig, Claudia Ermel, Julia Padberg:
  Preface.
  Electronic Edition (link) BibTeX
• Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske:
  GRACE as a unifying approach to graph-transformation-based specification.
  Electronic Edition (link) BibTeX
• Francesco Parisi-Presicce:
  On Modifying High Level Replacement Systems.
  Electronic Edition (link) BibTeX
• Gabriele Taentzer:
  Towards Common Exchange Formats for Graphs and Graph Transformation Systems.
  Electronic Edition (link) BibTeX
• Reiko Heckel, Albert Zündorf:
  How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.
  Electronic Edition (link) BibTeX
• Claudia Ermel, Roswitha Bardohl, Julia Padberg:
  Visual Design of Software Architecture and Evolution based on Graph Transformation.
  Electronic Edition (link) BibTeX
• Mark Minas, Berthold Hoffmann:
  Specifying and Implementing Visual Process Modeling Languages with DiaGen.
  Electronic Edition (link) BibTeX
• Martin Große-Rhode:
  Formal Concepts for an Integrated Internal Model of the UML.
  Electronic Edition (link) BibTeX
• Andy Schürr:
  Adding Graph Transformation Concepts to UML's Constraint Language OCL.
  Electronic Edition (link) BibTeX
• Luciano Baresi, Mauro Pezzè:
  Improving UML with Petri nets.
  Electronic Edition (link) BibTeX
• Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber:
  The Petri Net Baukasten - Second Installment.
  Electronic Edition (link) BibTeX
• Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
  Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
  Electronic Edition (link) BibTeX
• Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.
  Electronic Edition (link) BibTeX