Final Universes of Processes

Final Universes of Processes (1994)

by Peter Aczel

Venue:	PROC. MATH. FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER LECT. NOTES COMP. SCI. (802
Citations:	16 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	Final Universes of Processes	user correction - Legacy Corrections
AUTHOR NAME	Peter Aczel	user correction
AUTHOR AFFIL	Departments of Mathematics and Computer Science; Manchester University	user correction
AUTHOR ADDR	Manchester M13 9PL, U.K.	user correction
ABSTRACT	We describe the final universe approach to the characterisation of semantic universes and illustrate it by giving characterisations of the universes of CCS and CSP processes.	user correction
YEAR	1994	INFERENCE
VENUE	PROC. MATH. FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER LECT. NOTES COMP. SCI. (802	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1--28	INFERENCE
VOLUME	802	INFERENCE
CITATIONS	8 found	ParsCit 1.0