Timed CSP: Theory and Practice.

Conference presentation

S Schneider, J Davies, DM Jackson, GM Reed, JN Reed and AW Roscoe

REX Workshop, Vol.LNCS 6, pp.640-675

Real-time: Theory in Practice

1991

Abstract

url

http://dx.doi.org/10.1007/BFb0032011View

24 Record Views

Title: Timed CSP: Theory and Practice.
Creators: S Schneider
J Davies
DM Jackson
GM Reed
JN Reed
AW Roscoe
Contributors: JW de Bakker
C Huizing
WP de Roever
G Rozenberg
Springer (Publisher)
Publication Details: REX Workshop, Vol.LNCS 6, pp.640-675
Conference: Real-time: Theory in Practice
Date published: 1991
Date submitted: 17/05/2017
Identifiers: 99513694402346
Academic Unit: University of Surrey
Resource Type: Conference presentation