Zobrazeno 1 - 10
of 334
pro vyhledávání: '"Bisimulation equivalence"'
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)
The article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control
Externí odkaz:
https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da
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.
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.
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.
Autor:
Petr Jancar
Publikováno v:
Journal of Computer and System Sciences. 115:86-112
A decidability proof for bisimulation equivalence of first-order grammars is given. It is an alternative proof for a result by S\'enizergues (1998, 2005) that subsumes his affirmative solution of the famous decidability question for deterministic pus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30c2e6515d049e28a3ed304253af9e7a
https://doi.org/10.1016/j.jcss.2020.07.004
https://doi.org/10.1016/j.jcss.2020.07.004
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:
Acta Informatica. 57:671-687
In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$φ0 and a characteristic invariant $$\upchi _{_I}$$χI for an arbitrary finite-sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40c997925e10a6af55fb38ce818fba34
https://doi.org/10.1007/s00236-020-00376-5
https://doi.org/10.1007/s00236-020-00376-5
Autor:
Shigemasa Takai
Publikováno v:
Wiley Encyclopedia of Electrical and Electronics Engineering
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7a5f0fb12c018e9992aba713b41e3a5
https://doi.org/10.1002/047134608x.w8404
https://doi.org/10.1002/047134608x.w8404
Autor:
Roberto Gorrieri
Finite-state machines, a simple class of finite Petri nets, were equipped in [16] with an efficiently decidable, truly-concurrent, bisimulation-based, behavioral equivalence, called team equivalence, which conservatively extends classic bisimulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77e262dc4d242c767bab2da619a00c60
https://hdl.handle.net/11585/792544
https://hdl.handle.net/11585/792544
Autor:
Roberto Gorrieri
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets
Petri Nets
BPP nets, a subclass of finite P/T nets, were equipped in [13] with an efficiently decidable, truly concurrent, behavioral equivalence, called team bisi-milarity. This equivalence is a very intuitive extension of classic bisimulation equivalence (ove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::898c0ae6647f145157541701a4bcfe6c
https://doi.org/10.1007/978-3-030-51831-8_8
https://doi.org/10.1007/978-3-030-51831-8_8