Electronic Notes in Theoretical Computer Science, Volume 104

Volume 104, November 2004

• 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