A Fully Abstract Presheaf Semantics of SCCS with Finite Delay

A Fully Abstract Presheaf Semantics of SCCS with Finite Delay (1999)

Cached

Download Links

[www.brics.dk]
[www.brics.dk]
[www.brics.dk]

Other Repositories/Bibliography

DBLP

by Thomas Troels Hildebrandt

Venue:	Department of Computer Science, University of Aarhus
Citations:	17 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Fully Abstract Presheaf Semantics of SCCS with Finite Delay	user correction - Legacy Corrections
AUTHOR NAME	Thomas Troels Hildebrandt	SVM HeaderParse 0.1
AUTHOR AFFIL	; BRICS, Department of Computer Science; University of Aarhus. All rights reserved.; Department of Computer Science; University of Aarhus; Department of Computer Science; University of Aarhus	SVM HeaderParse 0.2
AUTHOR ADDR	; Ny Munkegade, building 540; DK--8000 Aarhus C; Denmark; Ny Munkegade; DK-8000 Aarhus C, Denmark	SVM HeaderParse 0.1
ABSTRACT	We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. We give a concrete representation of the presheaf model as a category of generalised synchronisation trees and show that it is coreflective in a category of generalised transition systems, which are a special case of the general transition systems of Hennessy and Stirling. The open map bisimulation is shown to coincide with the extended bisimulation of Hennessy and Stirling. Finally we formulate Milners operational semantics of SCCS with finite delay in terms of generalised transition systems and prove that the presheaf semantics is fully abstract with respect to extended bisimulation	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Department of Computer Science, University of Aarhus	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	2--9	INFERENCE
VOLUME	29	INFERENCE
TECH	RS-99-28, BRICS	INFERENCE
CITATIONS	25 found	ParsCit 1.0