Presheaf models for CCS-like languages /
Gian Luca Cattani, Glynn Winskel

Description

Tools

Cite this Export citation file

Main Author: Cattani, Gian Luca
Related Names: Winskel, G. (Glynn)
Language(s): English
Published: Cambridge [Cambridgeshire] : University of Cambridge, Computer Laboratory, [1999]
Subjects: Multitasking (Computer science)
Programming languages (Electronic computers)
Physical Description: 46 p. : ill. ; 21 cm
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Petri nets, algebras and morphisms

Author: Winskel, G. (Glynn)
Published: 1985

Models and logic of MOS circuits

Author: Winskel, G. (Glynn)
Published: 1986

A compositional model of MOS circuits

Author: Winskel, G. (Glynn)
Published: 1987

A complete proof system for SCCS with modal assertions

Author: Winskel, G. (Glynn)
Published: 1985

Relating two models of hardware

Author: Winskel, G. (Glynn)
Published: 1987

Category theory and models for parallel computation

Author: Winskel, G. (Glynn)
Published: 1986

Event structures

Author: Winskel, G. (Glynn)
Published: 1986

Domain theoretic models of polymorphism

Author: Coquand, Thierry.
Published: 1987

Di-domains as a model of polymorphism

Author: Coquand, Thierry.
Published: 1987

Contexts and embeddings for closed shallow action graphs

Author: Cattani, Gian Luca
Published: 2000