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
Publication date:
1985-01-01
URN:
uuid:c88734cd-6f34-4b14-8073-51353124fa7c
Local pid:
cs:1007

Terms of use


Metrics


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