Title

The Denotational Semantics Of View-Centric Reasoning

Abstract

Both Lawrence's HCSP [1] and Smith, et al's VCR [2] (an earlier version appears in [3]) extend CSP [4] with representations of truly concurrent events. Previously, VCR was described using an operational semantics, while the semantics of HCSP's Acceptances model, like those of the predominant CSP models described by Roscoe [5] (e.g., Traces, Failures/Divergences), are denotational. We now present a denotational semantics for VCR and, in so doing, propose an extension to HCSP (and possibly other existing CSP models) to support View-Centric Reasoning. This work brings VCR a step closer to being drawn within Hoare and He's Unifying Theories of Programming [6] for further comparisons.

Publication Date

10-13-2003

Publication Title

Concurrent Systems Engineering Series

Volume

61

Number of Pages

91-96

Document Type

Article

Personal Identifier

scopus

Socpus ID

0141620287 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0141620287

This document is currently not available here.

Share

COinS