ETAPS 2001 Workshops
Volume 44, Number 1, 2001
CMCS 2001 Coalgebraic Methods in Computer Science
Genova, Italy, April 6-7, 2001
Robert Goldblatt:
A Calculus of Terms for Coalgebras of Polynomial Functors.
161-184
Dirk Pattinson:
Modal Languages for Coalgebras in a Topological Setting.
271-284
Volume 44, Number 2, 2001
First Workshop on Language Descriptions, Tools and Applications (LDTA'01)
Genova, Italy, 7 April 2001
Paul Klint:
Collaborative Development of Interactive Language Processing Tools.
1-2
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.
3-8
Thomas Noll:
A Rewriting Logic Implementation of Erlang.
206-224
Volume 44, Number 3, 2001
Wolfram Kahl:
Refinement and Development of Programs from Relational Specifications.
51-93
Diego Del Gobbo,
Ali Mili:
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System.
94-111
Ridha Khédri:
Requirements Scenarios Formalization Technique: N Versions Towards One Good Version.
112-135
Michael Winter:
Generating Processes from Specifications using the Relation Manipulation System RelView.
194-220
Volume 44, Number 4, 2001
UNIGRA 2001:
Uniform Approaches to Graphical Process Specification Techniques
Genova, Italy, March 31st and April 1st, 2001
Gabriele Taentzer:
Towards Common Exchange Formats for Graphs and Graph Transformation Systems.
28-40
Andy Schürr:
Adding Graph Transformation Concepts to UML's Constraint Language OCL.
93-106
data released under the ODC-BY 1.0 license
