| _version_ |
1797050975798689792
|
| author |
Abramsky, S
|
| author_facet |
Abramsky, S
|
| author_sort |
Abramsky, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T18:13:11Z
|
| format |
Conference item
|
| id |
oxford-uuid:03b8d0f9-01bd-4a0a-9725-7f45f15cf15b
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T18:13:11Z
|
| publishDate |
1984
|
| publisher |
Academic Press
|
| record_format |
dspace
|
| spelling |
oxford-uuid:03b8d0f9-01bd-4a0a-9725-7f45f15cf15b2022-03-26T08:47:49ZReasoning about concurrent systems: a functional approachConference itemhttp://purl.org/coar/resource_type/c_5794uuid:03b8d0f9-01bd-4a0a-9725-7f45f15cf15bDepartment of Computer ScienceAcademic Press1984Abramsky, S
|
| spellingShingle |
Abramsky, S
Reasoning about concurrent systems: a functional approach
|
| title |
Reasoning about concurrent systems: a functional approach
|
| title_full |
Reasoning about concurrent systems: a functional approach
|
| title_fullStr |
Reasoning about concurrent systems: a functional approach
|
| title_full_unstemmed |
Reasoning about concurrent systems: a functional approach
|
| title_short |
Reasoning about concurrent systems: a functional approach
|
| title_sort |
reasoning about concurrent systems a functional approach
|
| work_keys_str_mv |
AT abramskys reasoningaboutconcurrentsystemsafunctionalapproach
|