Volume 104,
November 2004
Proceedings of the Workshop of the COMETA Project on Computational Metamodels
- Furio Honsell, Marina Lenisa, Marino Miculan:
Preface.
1-3
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems.
5-24
Electronic Edition (link) BibTeX
- Franco Barbanera, Ugo de'Liguoro:
Type Assignement for Mobile Objects.
25-38
Electronic Edition (link) BibTeX
- Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Flat Committed Join in Join.
39-59
Electronic Edition (link) BibTeX
- Daniela Cancila, Furio Honsell, Marina Lenisa:
Properties of Set Functors.
61-80
Electronic Edition (link) BibTeX
- Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters:
Timing in the Cospan-Span Model.
81-97
Electronic Edition (link) BibTeX
- Alberto Ciaffaglione, Ivan Scagnetto:
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.
99-112
Electronic Edition (link) BibTeX
- Pietro Di Gianantonio, Pier Luca Lanzi:
Lazy Algorithms for Exact Real Arithmetic.
113-128
Electronic Edition (link) BibTeX
- Fabio Gadducci, Marino Miculan, Ugo Montanari:
Some Characterization Results for Permutation Algebras.
129-147
Electronic Edition (link) BibTeX
- Giorgio Germano, Stefano Mazzanti:
Peano Structures and the Semantics of Iteration.
149-162
Electronic Edition (link) BibTeX
- Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language.
163-180
Electronic Edition (link) BibTeX
- Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Compositional Minimization in Span(Graph): Some Examples.
181-197
Electronic Edition (link) BibTeX
- Ivan Lanese, Ugo Montanari:
A Graphical Fusion Calculus.
199-215
Electronic Edition (link) BibTeX
- Ines Margaria, Maddalena Zacchi:
A Filter Model for Safe Ambients.
217-234
Electronic Edition (link) BibTeX
- Luca Paolini, Simona Ronchi Della Rocca:
Lazy Logical Semantics.
235-251
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:18 2009
by Michael Ley (ley@uni-trier.de)