A Fully Abstract Semantics for Value-passing CCS for Trees

Abstract

This paper provides a fully abstract semantics for valuepassing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. The labelled transition semantics is non-sequential, allowing more than one action occurring simultaneously. We develop the theory of behavioral… (More)

Topics

2 Figures and Tables

Slides referencing similar topics