Concurrent CCS - an introduction

D. Smith

Concurrent CCS - an introduction

D. Smith

Research output: Book/Report › Other report

64 Downloads (Pure)

Abstract

This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application.

Original language	English
Publisher	University of Hertfordshire
Publication status	Published - 1991

Publication series

Name	UH Computer Science Technical Report
Publisher	University of Hertfordshire
Volume	126

Access to Document

CSTR 126.pdf

Cite this

@book{58bc120e1e924718bd9a5da26d7239b2,

title = "Concurrent CCS - an introduction",

abstract = "This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application.",

author = "D. Smith",

year = "1991",

language = "English",

series = "UH Computer Science Technical Report",

publisher = "University of Hertfordshire",

}

TY - BOOK

T1 - Concurrent CCS - an introduction

AU - Smith, D.

PY - 1991

Y1 - 1991

N2 - This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application.

AB - This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application.

Concurrent CCS - an introduction

Abstract

Publication series

Access to Document

Fingerprint

Cite this