Zobrazeno 1 - 10
of 136
pro vyhledávání: '"Fabio Gadducci"'
Autor:
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernan Melgratti, Ugo Montanari
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played
Externí odkaz:
https://doaj.org/article/87f24ee3a2114cbd8908e2649c511890
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 18, Iss Proc. SOS 2009, Pp 46-61 (2010)
Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction rules. RSs proved a flexible specification device, yet so far most of t
Externí odkaz:
https://doaj.org/article/744d2c9a5f98412abbb7639128c08293
Publikováno v:
Mathematical Structures in Computer Science. 32:511-541
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or discarded at will. In SMTs, traditional tree-like terms are replaced by st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::875de13d3ded32b9a7f502f59039997b
https://doi.org/10.1017/s0960129522000317
https://doi.org/10.1017/s0960129522000317
Publikováno v:
Journal of the ACM. 69:1-58
String diagrams are a powerful and intuitive graphical syntax, originating in theoretical physics and later formalised in the context of symmetric monoidal categories. In recent years, they have found application in the modelling of various computati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::535d036411db9782383b9b9a8aa9ed91
https://doi.org/10.1145/3502719
https://doi.org/10.1145/3502719
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030992521
Adhesive categoriesprovide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes far from i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d050ca31a4bc1c9ab926cd05109724b
https://doi.org/10.1007/978-3-030-99253-8_11
https://doi.org/10.1007/978-3-030-99253-8_11
Publikováno v:
ISoLA 2022-11th International Symposium, pp. 479–497, Rhodes, Greece, 22-30/10/2022
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
We present two different extensions of the spatial logic for closure spaces (SLCS), and its spatio-temporal variant (?SLCS), with spa- tial quantification operators. The first concerns the existential quantifi- cation on individual points of a space.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adcaa24fa117e42b673e696fa66ca970
https://openportal.isti.cnr.it/doc?id=people______::65f8fe83ceb6e4a318b25ff0e30e0312
https://openportal.isti.cnr.it/doc?id=people______::65f8fe83ceb6e4a318b25ff0e30e0312
Publikováno v:
Graph Transformation ISBN: 9783031098420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de4a79cde8d7527aa26dff0f35e20b46
https://doi.org/10.1007/978-3-031-09843-7_2
https://doi.org/10.1007/978-3-031-09843-7_2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031081453
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82e6d00e2bcfe7faa74ca49843ccf048
http://hdl.handle.net/11391/1530876
http://hdl.handle.net/11391/1530876