Volume 104, November 2004

Proceedings of the Workshop of the COMETA Project on Computational Metamodels

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