Conference item icon

Conference item

Reasoning about concurrent systems: a functional approach

Actions

Authors


Publisher:
Academic Press
Host title:
Distributed Systems
Publication date:
1984-01-01


UUID:
uuid:03b8d0f9-01bd-4a0a-9725-7f45f15cf15b
Local pid:
cs:1861
Deposit date:
2015-03-31
ARK identifier:

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