Zobrazeno 1 - 10
of 215
pro vyhledávání: '"Concurrency theory"'
Autor:
Kobayashi, Naoki, Worrell, James
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full pa
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/89907
Kniha
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:
LNCS
Petri Nets 2023-44TH International Conference on Applications and Theory of Petri Nets and Concurrency
Petri Nets 2023-44TH International Conference on Applications and Theory of Petri Nets and Concurrency, R&D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology, Mar 2023, Caparica (Lisbonne), Portugal
Petri Nets 2023-44TH International Conference on Applications and Theory of Petri Nets and Concurrency
Petri Nets 2023-44TH International Conference on Applications and Theory of Petri Nets and Concurrency, R&D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology, Mar 2023, Caparica (Lisbonne), Portugal
International audience; Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-called symbolic unfolding generalizes this notion.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::96b793725022cf45675e4ab0f3732a37
https://inria.hal.science/hal-04029490/file/FinCompPrefSymb-full.pdf
https://inria.hal.science/hal-04029490/file/FinCompPrefSymb-full.pdf
Autor:
Bouyer, Patricia, Schröder, Lutz
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European J
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/54027
Publikováno v:
2012 Ninth International Conference on Quantitative Evaluation of Systems: QEST'12, Proceedings, 17-20 September 2012, London, United Kingdom, S. 104-113, ISBN: 978-0-7695-4781-7
Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic appr
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A26083
https://tud.qucosa.de/api/qucosa%3A26083/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A26083/attachment/ATT-0/
Publikováno v:
Leibniz International Proceedings in Informatics
We prove a Kleene theorem for higher-dimensional automata (HDAs). It states that the languages they recognise are precisely the rational subsumption-closed sets of interval pomsets. The rational operations include a gluing composition, for which we e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89e92d9e30d8f5b09ac0e96914a542f
https://hdl.handle.net/11250/3055862
https://hdl.handle.net/11250/3055862
Autor:
BOEGEHOLZ, HARALD WERNER
Data scientists are faced with the challenge of analysing an ever-increasing deluge of information. This thesis presents a new framework for formulating and analysing algorithms for the world of Big Data. It provides a universal translator between ye
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::760c9878b0a3fcf165572f8bb25c9139
Autor:
Alessandro Aldini
Publikováno v:
ACM Transactions on Modeling and Computer Simulation. 28:1-27
Collective adaptive systems (CAS) often adopt cooperative operating strategies to run distributed decision-making mechanisms. Sometimes, their effectiveness massively relies on the collaborative nature of individuals’ behavior. Stimulating cooperat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53894637ee5e02c1d3886e75631da83f
https://doi.org/10.1145/3155337
https://doi.org/10.1145/3155337
Autor:
Pierre Bouvier, Hubert Garavel
Publikováno v:
Proceedings of the 42nd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2021)
PETRI NETS 2021-42nd International Conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS 2021-42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783030769826
Petri Nets
PETRI NETS 2021-42nd International Conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS 2021-42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783030769826
Petri Nets
International audience; We investigate three particular instances of the marking coverability problem in ordinary, safe Petri nets: the Dead Places Problem, the Dead Transitions Problem, and the Concurrent Places Problem. To address these three probl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76eb176ca5103c5cbfd5fb84b5f8f811
https://hal.inria.fr/hal-03286069/document
https://hal.inria.fr/hal-03286069/document