University of Hertfordshire

Concurrent CCS - an introduction

Research output: Book/ReportOther report

Documents

  • D. Smith
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1991

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire
Volume126

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.

ID: 100673