Contexts and embeddings for closed shallow action graphs /
by Gian Luca Cattani, James J. Leifer and Robin Milner

Description

Tools

Cite this Export citation file

Main Author: Cattani, Gian Luca
Related Names: Milner, R. (Robin), 1934-
Leifer, James Judi
Language(s): English
Published: Cambridge [Cambridgeshire] : University of Cambridge, Computer Laboratory, [2000]
Subjects: Embedded computer systems
Calculus > Calculus / Computer programs
Graph theory
Physical Description: 56 p. : ill. ; 30 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

Operational congruences for reactive systems

Author: Leifer, James Judi
Published: 2001

A calculus of communicating systems

Author: Milner, R. (Robin), 1934-
Published: 1980

Presheaf models for CCS-like languages

Author: Cattani, Gian Luca
Published: 1999

The definition of Standard ML

Author: Milner, R. (Robin), 1934-2010.
Published: 1990

Edinburgh LCF : a mechanised logic of computation

Author: Gordon, Michael J. C., 1948-
Published: 1979

Automata, languages, and programming : third international colloquium at the University of Edinburgh

Author: Colloquium on Automata, Languages, and Programming (3d : 1976 : University of Edinburgh)
Published: 1976

SHR

Author: Southern Humanities Council.
Published: 1996

Sailing directions (enroute). British Columbia

Author: United States. Defense Mapping Agency. Hydrographic/Topographic Center.
Published: 1995

Journal of vacuum science & technology. A, An international journal devoted to vacuum, surfaces, and films : JVST A

Author: American Institute of Physics
Published: 2003

English Wycliffite sermons

Author: Gradon, Pamela.
Published: 2001