المؤلفون: Ciancia, Vincenzo^Aff10, Latella, Diego^Aff10, Massink, Mieke^Aff10, de Vink, Erik P.^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Jansen, Nils, editor^Aff7, Stoelinga, Mariëlle, editor^Aff8, van den Bos, Petra, editor^Aff9

المصدر: A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. 13560:98-115

المؤلفون: Diaconescu, Denisa^Aff17, Petre, Luigia^Aff18, Sere, Kaisa^Aff18, Stefanescu, Gheorghe^Aff17

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Ciobanu, Gabriel, editor^Aff15, Méry, Dominique, editor^Aff16

المصدر: Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. 8687:133-150

المؤلفون: Ciancia V., Latella D., Massink M., De Vink E. P.

المصدر: ISTI Technical Report, ISTI-TR-2022/018, 2022

مصطلحات موضوعية: Spatial logics, Stuttering equivalence, Spatial bisimilarities, Topological spaces, Closure spaces

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::2c40d719bf9e6285e98a7fa721cbca5b
https://openportal.isti.cnr.it/doc?id=people______::eb81b2482ef19184fec7cbf7ad4489d9

المؤلفون: Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

المصدر: Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning, edited by Jansen N., Stoelinga M., van den Bos P., pp. 98–115, 2022

مصطلحات موضوعية: Spatial logics, Stuttering equivalence, Spatial bisimilarities, Topological spaces, Closure spaces

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f043faf3444a7815c0a08ad88458d8d8
https://doi.org/10.1007/978-3-031-15629-8_6

المؤلفون: Groote, J.F., Wijs, A.J., Chechik, M., Raskin, J.-F.

المساهمون: Mathematics and Computer Science, Software Engineering and Technology, Formal System Analysis

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 607-624
STARTPAGE=607;ENDPAGE=624;TITLE=Tools and Algorithms for the Construction and Analysis of Systems

مصطلحات موضوعية: Discrete mathematics, Branching bisimulation, Kripke structure, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Space (mathematics), Binary logarithm, 01 natural sciences, Combinatorics, Orders of magnitude (bit rate), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Time complexity, Stuttering equivalence, Algorithm, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cf02b61a4d0e9b642b1eb3bd154549d
http://www.scopus.com/inward/record.url?scp=84964057222&partnerID=8YFLogxK

المؤلفون: Wenhui Zhang, Xinxin Liu

المصدر: Lecture Notes in Computer Science ISBN: 9783030014605
Symposium on Real-Time and Hybrid Systems

مصطلحات موضوعية: Bisimulation, Algebra, Stuttering, Kripke structure, medicine, Equivalence relation, medicine.symptom, Characterization (mathematics), Key issues, Equivalence (measure theory), Stuttering equivalence, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fdc873634e78fc5e4aeb47b6c1c7d80d
https://doi.org/10.1007/978-3-030-01461-2_7

المؤلفون: Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs

المساهمون: Formal System Analysis, Software Engineering and Technology, Department Computer Science, RS-Research Line Resilience (part of LIRS program)

المصدر: Groote, J F, Jansen, D N, Keiren, J J A & Wijs, A J 2017, ' An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation ', Acm Transactions on Computational Logic, vol. 18, no. 2, 13 . https://doi.org/10.1145/3060140
ACM Transactions on Computational Logic, 18(2):13. Association for Computing Machinery, Inc
Acm Transactions on Computational Logic, 18(2):13. Association for Computing Machinery (ACM)
ACM Transactions on Computational Logic, 18, 1-34
ACM Transactions on Computational Logic, 18, 2, pp. 1-34

مصطلحات موضوعية: General Computer Science, Logic, 0102 computer and information sciences, 02 engineering and technology, Space (mathematics), 01 natural sciences, Theoretical Computer Science, Combinatorics, Set (abstract data type), branching bisimulation, 0202 electrical engineering, electronic engineering, information engineering, Software Science, Time complexity, Stuttering equivalence, Mathematics, Bisimulation, Discrete mathematics, algorithm, Kripke structure, 020207 software engineering, Binary logarithm, Algorithm, Computational Mathematics, Orders of magnitude (time), 010201 computation theory & mathematics, Digital Security, Branching bisimulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90703e188836c180acda11776ebc3094
http://www.scopus.com/inward/record.url?scp=85027000745&partnerID=8YFLogxK

المؤلفون: Tri Minh Ngo, Marieke Huisman, Mariëlle Stoelinga

المصدر: Journal of computer security, 22(2), 269-300. IOS Press

مصطلحات موضوعية: EWI-24237, Model checking, Bisimulation, Matching (statistics), Exploit, Computer Networks and Communications, Computer science, Programming language, IR-88981, computer.software_genre, METIS-303986, Variable (computer science), Hardware and Architecture, Confidentiality, Information flow (information theory), Safety, Risk, Reliability and Quality, Stuttering equivalence, computer, Software

وصف الملف: application/pdf; application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9844f0d2793b13d8ae838dd7a834be70
https://doi.org/10.3233/jcs-130492

المؤلفون: Michel A. Reniers, Tac Tim Willemse, Rja Rob Schoren

المساهمون: Formal System Analysis

المصدر: The Computer Journal, 57(1), 73-92. Oxford University Press

مصطلحات موضوعية: Theoretical computer science, General Computer Science, Branching bisimulation, Computer science, Concurrency, Event based, Minification, Semantic domain, Equivalence (formal languages), Stuttering equivalence

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::441695fe582fad8d2d9a77647a510ec4
https://doi.org/10.1093/comjnl/bxs156

المؤلفون: Zhimin Wu

المصدر: ICECCS

مصطلحات موضوعية: Model checking, High memory, Correctness, Cost efficiency, business.industry, Distributed algorithm, Computer science, Distributed computing, Embarrassingly parallel, Cloud computing, business, Stuttering equivalence

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e7e7e0a955f07ce712e6b2e1de27e9fa
https://doi.org/10.1109/iceccs.2015.38