Conference item icon

Conference item

Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification

Actions


Access Document


Files:

Authors


Publisher:
Springer
Host title:
The Analysis of Concurrent Systems
Publication date:
1985-01-01
UUID:
uuid:c88734cd-6f34-4b14-8073-51353124fa7c
Local pid:
cs:1007
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP