Behavioural Extension for CSP Processes
Behavioural Extension for CSP Processes
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Prehn, S.
b6d236ac-50d7-4031-9ba1-027987f0cd2e
Toetenel, W.J.
a3ef5244-6e02-4efe-a994-862884bfcad7
1991
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Prehn, S.
b6d236ac-50d7-4031-9ba1-027987f0cd2e
Toetenel, W.J.
a3ef5244-6e02-4efe-a994-862884bfcad7
Butler, M.J.
(1991)
Behavioural Extension for CSP Processes.
Prehn, S. and Toetenel, W.J.
(eds.)
VDM '91.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1991
Venue - Dates:
VDM '91, 1991-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250969
URI: http://eprints.soton.ac.uk/id/eprint/250969
PURE UUID: 0e402f27-e040-4e72-9e2b-f1db667cef6a
Catalogue record
Date deposited: 07 Oct 1999
Last modified: 11 Dec 2021 03:10
Export record
Contributors
Author:
M.J. Butler
Editor:
S. Prehn
Editor:
W.J. Toetenel
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics