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