Volume 29, 1999
CTCS '99 Conference on Category Theory and Computer Science
Edinburgh (UK), 10-12 September 1999
Guest Editors:
Martin Hofmann, Giuseppe Rosolini and Dusko Pavlovic
- Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Preface.
1
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
Concurrent Realizations of Reactive Systems.
2-20
- Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy.
21
- Anna Bucalo, Carsten Führmann, Alex K. Simpson:
Equational Lifting Monads.
22
- Francisco Durán, José Meseguer:
Structured Theories and Institutions.
23-41
- Adam Eppendahl:
Coalgebra-to-Algebra Morphisms.
42-49
- Lindsay Errington:
On the Semantics of Message Passing Processes.
50-77
- Marcelo P. Fiore:
Fibred models of processes.
78
- Peter J. Freyd:
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good?
79
- Fabio Gadducci, Reiko Heckel, Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
80-100
- Ryu Hasegawa:
Several Applications of Analytic Functors to Theoretical Computer Science.
101
- Thomas T. Hildebrandt:
A Fully abstract presheaf semantics for SCCS with finite delay.
102-126
- Martin Hyland, Andrea Schalk:
Abstract Games for Linear Logic.
127-150
- Thong wei Koh, C.-H. Luke Ong:
Internal Languages for Autonomous and *-Autonomous Categories.
151
- Zhaohui Luo, Sergei Soloviev:
Dependent Coercions.
152-168
- Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Precategories for combining probabilistic automata.
169-186
- Eugenio Moggi, Gianna Bellè, C. Barry Jay:
Monads, shapely functors, and traversals.
187-208
- Andrzej S. Murawski, C.-H. Luke Ong:
Exhausting Strategies, Joker Games and IMLL with Units.
209-239
- Jan Paseka:
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality.
240-258
- John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics.
259-274
- Douglas R. Smith:
Designware: Software Development by Refinement.
275-287
- Thomas Streicher:
Denotational Completeness Revisited.
288-300
- Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions.
301-324
- Martin Wehr:
Higher-dimensional syntax.
325-353
Last update Mon May 20 18:31:45 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
