Zobrazeno 1 - 10
of 5 981
pro vyhledávání: '"bisimulation"'
Autor:
Ma, Yanfang1 (AUTHOR) clmyf@163.com, Chen, Liang2 (AUTHOR) Chenl@czu.cn
Publikováno v:
International Journal of Software Engineering & Knowledge Engineering. Jul2024, Vol. 34 Issue 7, p1095-1134. 40p.
Autor:
Horvat, Sebastijan1 (AUTHOR), Perkov, Tin2 (AUTHOR) tin.perkov@ufzg.hr, Vuković, Mladen1 (AUTHOR)
Publikováno v:
Mathematical Logic Quarterly. May2023, Vol. 69 Issue 2, p231-243. 13p.
Autor:
van Glabbeek, Rob1,2 (AUTHOR) rvg@cs.stanford.edu
Publikováno v:
Acta Informatica. Mar2023, Vol. 60 Issue 1, p11-57. 47p.
Autor:
Komorida, Yuichi1,2 (AUTHOR) komorin@nii.ac.jp, Katsumata, Shin-ya1 (AUTHOR) s-katsumata@nii.ac.jp, Hu, Nick3 (AUTHOR), Klin, Bartek3 (AUTHOR), Humeau, Samuel4 (AUTHOR), Eberhart, Clovis1,5 (AUTHOR), Hasuo, Ichiro1,2 (AUTHOR) i.hasuo@acm.org
Publikováno v:
New Generation Computing. Jul2022, Vol. 40 Issue 2, p403-465. 63p.
Autor:
Yu, Weiyong1 (AUTHOR), Deng, Zhenhua2 (AUTHOR) zhdeng@amss.ac.cn, Guo, Qianjin1 (AUTHOR), Liu, Qiang1 (AUTHOR)
Publikováno v:
IET Control Theory & Applications (Wiley-Blackwell). Jul2023, Vol. 17 Issue 11, p1552-1565. 14p.
Autor:
Lombardy, Sylvain1 (AUTHOR) Sylvain.Lombardy@labri.fr, Sakarovitch, Jacques2 (AUTHOR) sakarovitch@enst.fr, Avron, Arnon (AUTHOR), Dershowitz, Nachum (AUTHOR), Rabinovich, Alexander (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2022, Vol. 186 Issue 1-4, p195-218. 24p.
Autor:
Lomazova, Irina A. (AUTHOR) ialomazova@gmail.com, Bashkin, Vladimir A.1 (AUTHOR) petr.jancar@upol.cz, Jančar, Petr1 (AUTHOR) petr.jancar@upol.cz, Avron, Arnon (AUTHOR), Dershowitz, Nachum (AUTHOR), Rabinovich, Alexander (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2022, Vol. 186 Issue 1-4, p175-194. 20p.
Autor:
Qiao, Sha1 (AUTHOR) sqiao@sdu.edu.cn, Feng, Jun-e1 (AUTHOR) fengjune@sdu.edu.cn, Zhu, Ping2 (AUTHOR) pzhubupt@bupt.edu.cn
Publikováno v:
Journal of the Franklin Institute. Jan2024, Vol. 361 Issue 1, p135-149. 15p.
Autor:
MASUD, ABU NASER1 masud.abunaser@mdh.se, LISPER, BJÖRN1 bjorn.lisper@mdh.se
Publikováno v:
ACM Transactions on Programming Languages & Systems. Dec2020, Vol. 42 Issue 4, p1-56. 56p.
Autor:
Wu, Hao1 (AUTHOR) wuhao_seiee@sjtu.edu.cn, Yang, Qizhe1,2 (AUTHOR) qzyang@shnu.edu.cn, Long, Huan1 (AUTHOR) longhuan@sjtu.edu.cn
Publikováno v:
Information Processing Letters. Aug2024, Vol. 186, pN.PAG-N.PAG. 1p.