default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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, Eduardo Giménez, Luís Pinto, Tarmo Uustalu:
Type-based termination of recursive definitions. 97-141 - Jesper Carlström:
Wheels - on division by zero. 143-184 - Aurelio Carboni, Peter T. 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 Túlio 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-26 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
