Zobrazeno 1 - 10
of 238
pro vyhledávání: '"Gorrieri, R."'
Autor:
Cesco A., Gorrieri R.
We prove that (strong) fully-concurrent bisimilarity and causal-net bisimilarity are decidable for finite bounded Petri nets. The proofs are based on a generalization of the ordered marking proof technique that Vogler used to demonstrate that (strong
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4094::047b94b730de5d9312b2b24d01f56e38
https://hdl.handle.net/11585/849455
https://hdl.handle.net/11585/849455
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2000 32:101-112
Publikováno v:
In Computer Communications 2000 23(17):1645-1654
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Foundations of Security Analysis and Design V ISBN: 9783642038280
FOSAD
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures, 121-144
STARTPAGE=121;ENDPAGE=144;TITLE=Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
FOSAD
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures, 121-144
STARTPAGE=121;ENDPAGE=144;TITLE=Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
This paper discusses how electronic voting was implemented in practice in the Netherlands, which choices were made and how electronic voting was finally abolished. This history is presented in the context of the requirements of the election process,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b509760e874b8e432ece2125edac54e
https://doi.org/10.1007/978-3-642-03829-7_4
https://doi.org/10.1007/978-3-642-03829-7_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540348931
FMOODS
Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 186-201
STARTPAGE=186;ENDPAGE=201;TITLE=Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems
FMOODS
Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 186-201
STARTPAGE=186;ENDPAGE=201;TITLE=Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics of a small but realistic object-oriented language (called TAAL) by map
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a05c555f0fd8abf0655c5ff61146e10c
https://doi.org/10.1007/11768869_15
https://doi.org/10.1007/11768869_15
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Process mining and security: Detecting anomalous process executions and checking process conformance
Publikováno v:
Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), 69-84
STARTPAGE=69;ENDPAGE=84;TITLE=Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)
STARTPAGE=69;ENDPAGE=84;TITLE=Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::8d90585253eda4e117341996587d5f3f
https://research.tue.nl/nl/publications/ec776bae-3345-4641-9c95-b59e808420e7
https://research.tue.nl/nl/publications/ec776bae-3345-4641-9c95-b59e808420e7