| _version_ |
1826285240275959808
|
| author |
Gutierrez, J
|
| author_facet |
Gutierrez, J
|
| author_sort |
Gutierrez, J
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T01:25:51Z
|
| format |
Journal article
|
| id |
oxford-uuid:91f4c96e-0390-4d39-8998-e43dc5af7fbe
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T01:25:51Z
|
| publishDate |
2015
|
| record_format |
dspace
|
| spelling |
oxford-uuid:91f4c96e-0390-4d39-8998-e43dc5af7fbe2022-03-26T23:22:14ZOn fixpoint logics and equivalences for processes with restricted nondeterminismJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:91f4c96e-0390-4d39-8998-e43dc5af7fbeSymplectic Elements at Oxford2015Gutierrez, J
|
| spellingShingle |
Gutierrez, J
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title |
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title_full |
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title_fullStr |
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title_full_unstemmed |
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title_short |
On fixpoint logics and equivalences for processes with restricted nondeterminism
|
| title_sort |
on fixpoint logics and equivalences for processes with restricted nondeterminism
|
| work_keys_str_mv |
AT gutierrezj onfixpointlogicsandequivalencesforprocesseswithrestrictednondeterminism
|