المؤلفون: Arnaldo Cesco, Roberto Gorrieri

المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/9285/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/a40d66808c854cd49d5e348bf8ad5d62

المؤلفون: Eike Best, Philippe Darondeau, Roberto Gorrieri

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 51, Iss Proc. SecCo 2010, Pp 16-33 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1102.5585v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/aabb38df618f4cc9ad3a9d1f677e3c15

المؤلفون: Roberto Gorrieri, Cristian Versari

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 76-90 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1011.6433v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/44a3dd0fd76c479da34da890ad475a24

المؤلفون: Roberto Gorrieri

المساهمون: Gorrieri R.

المصدر: Theoretical Computer Science. 897:83-113

مصطلحات موضوعية: Bisimulation, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Theoretical computer science, General Computer Science, Computer science, Semantics (computer science), BPP process algebra, Modal logic, Petri net, Extension (predicate logic), Characterization (mathematics), Theoretical Computer Science, Decidability, Fully-concurrent bisimulation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Axiomatization, Team bisimulation, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Equivalence (measure theory), Hennessy-Milner modal logic

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea70ec4f8fc4137d784359582c581977
https://doi.org/10.1016/j.tcs.2021.09.037

المؤلفون: Roberto Gorrieri

المساهمون: Roberto Gorrieri

مصطلحات موضوعية: Discrete mathematics, Algebraic properties, Finite-state machine, Computer science, Process calculus, Bisimulation equivalence, Petri net, Congruence relation, Computer Science Applications, Theoretical Computer Science, Decidability, Petri nets, Finite-state machines, truly-concurrent semantics, weak bisimulation, branching bisimulation, axiomatization, Computational Theory and Mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Equivalence (formal languages), Information Systems

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77e262dc4d242c767bab2da619a00c60
https://hdl.handle.net/11585/792544

المؤلفون: Roberto Gorrieri

المساهمون: Ryszard Janicki, Natalia Sidorova, Thomas Chatain, Roberto Gorrieri

المصدر: Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets

مصطلحات موضوعية: Theoretical computer science, Interleaving, Computer science, Semantics (computer science), Simple (abstract algebra), Concurrency, Process calculus, Formal equivalence checking, Petri net, Information Flow Security, Petri Nets, True Concurrency, Equivalence (measure theory)

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72692ed32530f2e150ad9ce1d9a57524
http://hdl.handle.net/11585/773260

المؤلفون: Roberto Gorrieri

المساهمون: Ryszard Janicki, Natalia Sidorova, Thomas Chatain, Roberto Gorrieri

المصدر: Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets

مصطلحات موضوعية: Bisimulation, Discrete mathematics, 050101 languages & linguistics, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Semantics (computer science), Computer science, 05 social sciences, Formal equivalence checking, Petri nets, BPP, bisimulation, equivalence checking, fully-concurrent bisimulation, 02 engineering and technology, Extension (predicate logic), Petri net, Decidability, Causality (physics), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Equivalence (measure theory)

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::898c0ae6647f145157541701a4bcfe6c
https://doi.org/10.1007/978-3-030-51831-8_8

المؤلفون: Roberto Gorrieri

المساهمون: Roberto Gorrieri

المصدر: Journal of Logical and Algebraic Methods in Programming. 96:65-80

مصطلحات موضوعية: Bisimulation, Theoretical computer science, Finite-state machine, Logic, Computer science, Modal logic, Bisimulation equivalence, 0102 computer and information sciences, Petri net, 01 natural sciences, Global model, Theoretical Computer Science, 03 medical and health sciences, Petri nets, finite-state machines, behavioral equivalence, bisimulation, modal logic, 0302 clinical medicine, Computational Theory and Mathematics, 010201 computation theory & mathematics, If and only if, Computer Science::Logic in Computer Science, 030220 oncology & carcinogenesis, Equivalence (formal languages), Software

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3156958b0395900e2899d1df062b5c8
https://doi.org/10.1016/j.jlamp.2017.11.005

المؤلفون: Roberto Gorrieri

المساهمون: Gorrieri R.

مصطلحات موضوعية: TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Computer Networks and Communications, Computer science, Process calculus, 0102 computer and information sciences, 02 engineering and technology, Computer Science::Computational Complexity, 01 natural sciences, Petri nets, BPP, bisimulation, modal logic, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Equivalence (formal languages), Bisimulation, Modal logic, 020207 software engineering, Petri net, Decidability, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, If and only if, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Theory of computation, Petri nets, BPP, Bisimulation, Modal Logic, Axiomatization, Software, Computer Science::Formal Languages and Automata Theory, Information Systems

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52a704574e7d35677c06381b1e661630
http://hdl.handle.net/11585/831107

المؤلفون: Roberto Gorrieri

المساهمون: Gorrieri R.

المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE

مصطلحات موضوعية: Discrete mathematics, Bisimulation, Computer science, Computer Science::Logic in Computer Science, Equivalence relation, Petri nets, branching bisimulation, place bisimulation, decidability, Extension (predicate logic), Approx, Petri net, Net (mathematics), Equivalence (measure theory), Computer Science::Formal Languages and Automata Theory, Decidability

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5abbf3f02f3c352785f44fe8b4ad809
https://doi.org/10.1007/978-3-030-78089-0_5