| _version_ |
1826266286621982720
|
| author |
Pavlovic, D
|
| author_facet |
Pavlovic, D
|
| author_sort |
Pavlovic, D
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T20:36:36Z
|
| format |
Conference item
|
| id |
oxford-uuid:32da432e-6759-4438-b861-af58c072efe7
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T20:36:36Z
|
| publishDate |
1995
|
| publisher |
Springer Verlag
|
| record_format |
dspace
|
| spelling |
oxford-uuid:32da432e-6759-4438-b861-af58c072efe72022-03-26T13:16:34ZConvenient categories of processes and simulations I: modulo strong bisimilarityConference itemhttp://purl.org/coar/resource_type/c_5794uuid:32da432e-6759-4438-b861-af58c072efe7Department of Computer ScienceSpringer Verlag1995Pavlovic, D
|
| spellingShingle |
Pavlovic, D
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title |
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title_full |
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title_fullStr |
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title_full_unstemmed |
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title_short |
Convenient categories of processes and simulations I: modulo strong bisimilarity
|
| title_sort |
convenient categories of processes and simulations i modulo strong bisimilarity
|
| work_keys_str_mv |
AT pavlovicd convenientcategoriesofprocessesandsimulationsimodulostrongbisimilarity
|