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
Electronic Edition (link) BibTeX
Erik Palmgren:
A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. 57-72
Electronic Edition (link) BibTeX
Christophe Gaubert:
Two-dimensional proof-structures and the exchange rule. 73-96
Electronic Edition (link) BibTeX
Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu:
Type-based termination of recursive definitions. 97-141
Electronic Edition (link) BibTeX
Jesper Carlström:
Wheels - on division by zero. 143-184
Electronic Edition (link) BibTeX
Aurelio Carboni Peter Johnstone:
Corrigenda for 'Connected limits, familial representability and Artin glueing'. 185-187
Electronic Edition (link) BibTeX

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

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

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

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

Abbas Edalat, Achim Jung:
Introduction to special issue on domain theory. 769-
Electronic Edition (link) BibTeX
Abbas Edalat, André Lieutier:
Domain theory and differential calculus (functions of one variable). 771-802
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Jimmie D. Lawson:
Domains, integration and 'positive analysis'. 815-832
Electronic Edition (link) BibTeX
Keye Martin:
Fractals and domain theory. 883-851
Electronic Edition (link) BibTeX
Hideki Tsuiki:
Compact metric spaces as minimal-limit sets in domains of bottomed sequences. 853-878
Electronic Edition (link) BibTeX