A Presheaf Semantics of Value-Passing Processes

A Presheaf Semantics of Value-Passing Processes (1996)

by Glynn Winskel , Glynn Winskel

Citations:

33 - 18 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Presheaf Semantics of Value-Passing Processes	user correction - Legacy Corrections
AUTHOR NAME	Glynn Winskel	SVM HeaderParse 0.1
AUTHOR AFFIL	BRICS	SVM HeaderParse 0.2
AUTHOR ADDR	; Ny Munkegade, building 540; DK- 8000 Aarhus C; Denmark; Telefax: +45 8942 3255	SVM HeaderParse 0.1
AUTHOR NAME	Glynn Winskel	SVM HeaderParse 0.1
AUTHOR AFFIL	BRICS	SVM HeaderParse 0.2
AUTHOR ADDR	; Ny Munkegade, building 540; DK- 8000 Aarhus C; Denmark; Telefax: +45 8942 3255	SVM HeaderParse 0.2
ABSTRACT	This paper investigates presheaf models for process calculi with value passing. Denotational semantics in presheaf models are shown to correspond to operational semantics in that bisimulation obtained from open maps is proved to coincide with bisimulation as defined traditionally from the operational semantics. Both "early" and "late" semantics are considered, though the more interesting "late" semantics is emphasised. A presheaf model and denotational semantics is proposed for a language allowing process passing, though there remains the problem of relating the notion of bisimulation obtained from open maps to a more traditional definition from the operational semantics.	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	19 found	ParsCit 1.0