Zobrazeno 1 - 2
of 2
pro vyhledávání: '"METIS-300116"'
Autor:
Katoen, Joost P.
Publikováno v:
24th International Conference on Concurrency Theory, CONCUR 2013, 44-45
STARTPAGE=44;ENDPAGE=45;TITLE=24th International Conference on Concurrency Theory, CONCUR 2013
STARTPAGE=44;ENDPAGE=45;TITLE=24th International Conference on Concurrency Theory, CONCUR 2013
Treating random phenomena in concurrency theory has a long tradition. Petri nets [18, 10] and process algebras [14] have been extended with probabilities. The same applies to behavioural semantics such as strong and weak (bi)simulation [1], and testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::ff209f5a56a8df035689d858a21967e3
https://research.utwente.nl/en/publications/concurrency-meets-probability-theory-and-practice-abstract(f18633f6-ac0b-481b-8ab2-16509678472d).html
https://research.utwente.nl/en/publications/concurrency-meets-probability-theory-and-practice-abstract(f18633f6-ac0b-481b-8ab2-16509678472d).html
Publikováno v:
24th International Conference on Concurrency Theory, CONCUR 2013. :44-45
Treating random phenomena in concurrency theory has a long tradition. Petri nets [18, 10] and process algebras [14] have been extended with probabilities. The same applies to behavioural semantics such as strong and weak (bi)simulation [1], and testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::b6587dd330a991c1846b69f642cdc198
https://doi.org/10.1007/978-3-642-40184-8_4
https://doi.org/10.1007/978-3-642-40184-8_4
