Duality for Labelled Markov Processes

Bibliographic Details
Main Authors: Mislove, M, Ouaknine, J, Pavlovic, D, Worrell, J
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