Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Łukasz Mikulski"'
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2f3e9c27097e0e34673b8b32d72929b
https://doi.org/10.1007/978-3-031-33620-1_8
https://doi.org/10.1007/978-3-031-33620-1_8
Publikováno v:
PRIMA 2022: Principles and Practice of Multi-Agent Systems ISBN: 9783031212024
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b7e8363e9649b0d69f83ef0e7cc46d6
https://doi.org/10.1007/978-3-031-21203-1_11
https://doi.org/10.1007/978-3-031-21203-1_11
Publikováno v:
PRIMA 2022: Principles and Practice of Multi-Agent Systems ISBN: 9783031212024
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a16d9a7e3caee7afdf9aaa40b447ac34
https://doi.org/10.1007/978-3-031-21203-1_47
https://doi.org/10.1007/978-3-031-21203-1_47
Publikováno v:
Theoretical Computer Science. 862:174-192
Relational structures based on acyclic relations can successfully model fundamental aspects of concurrent systems behaviour. Examples include Elementary Net systems and Mazurkiewicz traces. There are however cases where more general relational struct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::318d6d419340f3b80ffa2d485823768d
https://doi.org/10.1016/j.tcs.2020.10.019
https://doi.org/10.1016/j.tcs.2020.10.019
Autor:
Łukasz Mikulski, Ryszard Janicki
Publikováno v:
Fundamenta Informaticae. 175:253-280
Traces and their extensions as comtraces, step traces and interval traces are quotient monoids over sequences or step sequences that play an important role in the formal analysis and verification of concurrent systems. Step traces are generalizations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::926f9121b7e9786b60bc505b75c3e3b3
https://doi.org/10.3233/fi-2020-1956
https://doi.org/10.3233/fi-2020-1956
Publikováno v:
Paradigms of Concurrency ISBN: 9783662648193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a442b46b8b23e6226abdca7ee835d17f
https://doi.org/10.1007/978-3-662-64821-6_5
https://doi.org/10.1007/978-3-662-64821-6_5
Publikováno v:
Paradigms of Concurrency ISBN: 9783662648193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4dcec250bb003448558d56db7553502
https://doi.org/10.1007/978-3-662-64821-6_9
https://doi.org/10.1007/978-3-662-64821-6_9
Publikováno v:
Paradigms of Concurrency ISBN: 9783662648193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2808cd6388d0da69c45b51df237e41d8
https://doi.org/10.1007/978-3-662-64821-6_11
https://doi.org/10.1007/978-3-662-64821-6_11
Publikováno v:
Paradigms of Concurrency ISBN: 9783662648193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa81c8014cc0e0eb7012b16ae91312b7
https://doi.org/10.1007/978-3-662-64821-6_3
https://doi.org/10.1007/978-3-662-64821-6_3
Autor:
Kamila Barylska, Anna Gogolińska, Łukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Publikováno v:
Reversible Computation ISBN: 9783031090042
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f13d5ee43bc918d4a87475297389e5f
https://doi.org/10.1007/978-3-031-09005-9_12
https://doi.org/10.1007/978-3-031-09005-9_12