Mathematical Structures in Computer Science, Volume 14

Volume 14, Number 1, February 2004

• Paul Gastin, Michael W. Mislove:
  A simple process algebra based on atomic actions with resources. 1-55
  
• Erik Palmgren:
  A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. 57-72
  
• Christophe Gaubert:
  Two-dimensional proof-structures and the exchange rule. 73-96
  
• Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu:
  Type-based termination of recursive definitions. 97-141
  
• Jesper Carlström:
  Wheels - on division by zero. 143-184
  
• Aurelio Carboni Peter Johnstone:
  Corrigenda for 'Connected limits, familial representability and Artin glueing'. 185-187
  

Volume 14, Number 2, April 2004

• Marie-Renée Fleury, Myriam Quatrini:
  First order in Ludics. 189-213
  
• Claus Jürgensen, Heiko Vogler:
  Syntactic composition of top-down tree transducers is short cut fusion. 215-282
  

Volume 14, Number 3, June 2004

• Vladimiro Sassone:
  Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord. 283-
  
• Luca Cardelli, Giorgio Ghelli:
  TQL: a query language for semistructured data based on the ambient logic. 285-327
  
• Farhad Arbab:
  Reo: a channel-based coordination model for component composition. 329-366
  
• Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
  MetaKlaim: a type safe multi-stage language for global computing. 367-395
  
• Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek:
  Coordination and mobility in CoreLime. 397-419
  
• Roberto Bruni, Ugo Montanari:
  Concurrent models for Linda with transactions. 421-468
  

Volume 14, Number 4, August 2004

• Michael Huth, Radha Jagadeesan, David A. Schmidt:
  A domain equation for refinement of partial systems. 469-505
  
• Sara Negri, Jan von Plato:
  Proof systems for lattice theory. 507-526
  
• Peter Selinger:
  Towards a quantum programming language. 527-586
  
• Klaus Aehlig, Felix Joachimski:
  Operational aspects of untyped Normalisation by Evaluation. 587-611
  

Volume 14, Number 5, October 2004

• Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
  A relational model of non-deterministic dataflow. 613-649
  
• Matthew Hennessy, Julian Rathke:
  Typed behavioural equivalences for processes in the presence of subtyping. 651-684
  
• Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters:
  Minimisation and minimal realisation in Span(Graph). 685-714
  
• Massimo Merro, Davide Sangiorgi:
  On asynchrony in name-passing calculi. 715-767
  

Volume 14, Number 6, December 2004

• Abbas Edalat, Achim Jung:
  Introduction to special issue on domain theory. 769-
  
• Abbas Edalat, André Lieutier:
  Domain theory and differential calculus (functions of one variable). 771-802
  
• Martín Hötzel Escardó, Martin Hofmann, Thomas Streicher:
  On the non-sequential nature of the interval-domain model of real-number computation. 803-814
  
• Jimmie D. Lawson:
  Domains, integration and 'positive analysis'. 815-832
  
• Keye Martin:
  Fractals and domain theory. 883-851
  
• Hideki Tsuiki:
  Compact metric spaces as minimal-limit sets in domains of bottomed sequences. 853-878