Duality for Labelled Markov Processes
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
Springer Verlag
2004
|
_version_ | 1797070875304919040 |
---|---|
author | Mislove, M Ouaknine, J Pavlovic, D Worrell, J |
author_facet | Mislove, M Ouaknine, J Pavlovic, D Worrell, J |
author_sort | Mislove, M |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T22:45:17Z |
format | Conference item |
id | oxford-uuid:5cf6e2a3-dd40-404d-91b3-e6b0405efcc8 |
institution | University of Oxford |
last_indexed | 2024-03-06T22:45:17Z |
publishDate | 2004 |
publisher | Springer Verlag |
record_format | dspace |
spelling | oxford-uuid:5cf6e2a3-dd40-404d-91b3-e6b0405efcc82022-03-26T17:31:28ZDuality for Labelled Markov ProcessesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5cf6e2a3-dd40-404d-91b3-e6b0405efcc8Department of Computer ScienceSpringer Verlag2004Mislove, MOuaknine, JPavlovic, DWorrell, J |
spellingShingle | Mislove, M Ouaknine, J Pavlovic, D Worrell, J Duality for Labelled Markov Processes |
title | Duality for Labelled Markov Processes |
title_full | Duality for Labelled Markov Processes |
title_fullStr | Duality for Labelled Markov Processes |
title_full_unstemmed | Duality for Labelled Markov Processes |
title_short | Duality for Labelled Markov Processes |
title_sort | duality for labelled markov processes |
work_keys_str_mv | AT mislovem dualityforlabelledmarkovprocesses AT ouakninej dualityforlabelledmarkovprocesses AT pavlovicd dualityforlabelledmarkovprocesses AT worrellj dualityforlabelledmarkovprocesses |