受强制性开放获取政策约束的文章 - Roberto Bruni了解详情
无法在其他位置公开访问的文章：5 篇
A logical and graphical framework for reaction systems
L Brodo, R Bruni, M Falaschi
Theoretical Computer Science 875, 1-27, 2021
强制性开放获取政策： Government of Italy
Dynamic slicing of reaction systems based on assertions and monitors
L Brodo, R Bruni, M Falaschi
International Symposium on Practical Aspects of Declarative Languages, 107-124, 2023
强制性开放获取政策： Government of Italy
A process algebraic approach to reaction systems
L Brodo, R Bruni, M Falaschi
Theoretical Computer Science 881, 62-82, 2021
强制性开放获取政策： Government of Italy
Exploiting modularity of SOS semantics to define quantitative extensions of reaction systems
L Brodo, R Bruni, M Falaschi, R Gori, F Levi, P Milazzo
International Conference on the Theory and Practice of Natural Computing, 15-32, 2021
强制性开放获取政策： Government of Italy
Verification of Reaction Systems Processes
L Brodo, R Bruni, M Falaschi
Challenges of Software Verification, 243-264, 2023
强制性开放获取政策： Government of Italy
可在其他位置公开访问的文章：34 篇
Connector algebras for C/E and P/T nets' interactions
R Bruni, H Melgratti, U Montanari, P Sobocinski
Logical Methods in Computer Science 9, 2013
强制性开放获取政策： Government of Italy
A logic for locally complete abstract interpretations
R Bruni, R Giacobazzi, R Gori, F Ranzato
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
强制性开放获取政策： Government of Italy
Tiles for reo
F Arbab, R Bruni, D Clarke, I Lanese, U Montanari
International Workshop on Algebraic Development Techniques, 37-55, 2008
强制性开放获取政策： German Research Foundation
A correctness and incorrectness program logic
R Bruni, R Giacobazzi, R Gori, F Ranzato
Journal of the ACM 70 (2), 1-45, 2023
强制性开放获取政策： Government of Italy
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
Science of Computer Programming 99, 75-94, 2015
强制性开放获取政策： Government of Italy
On hierarchical graphs: Reconciling bigraphs, gs-monoidal theories and gs-graphs
R Bruni, U Montanari, G Plotkin, D Terreni
Fundamenta Informaticae 134 (3-4), 287-317, 2014
强制性开放获取政策： Government of Italy
A flat process calculus for nested membrane interactions
C Bodei, L Brodo, R Bruni, D Chiarugi
Scientific Annals of Computer Science 24 (1), 91-136, 2014
强制性开放获取政策： Government of Italy
A formal approach to open multiparty interactions
C Bodei, L Brodo, R Bruni
Theoretical Computer Science 763, 38-65, 2019
强制性开放获取政策： Government of Italy
Concurrency and probability: Removing confusion, compositionally
R Bruni, H Melgratti, U Montanari
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
强制性开放获取政策： Government of Argentina
Reconciling white-box and black-box perspectives on behavioral self-adaptation
R Bruni, A Corradini, F Gadducci, M Hölzl, AL Lafuente, A Vandin, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
强制性开放获取政策： European Commission, Government of Italy
Data-driven choreographies à la Klaim
R Bruni, A Corradini, F Gadducci, H Melgratti, U Montanari, E Tuosto
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
强制性开放获取政策： European Commission, Government of Italy, Government of Argentina
Behaviour, interaction and dynamics
R Bruni, H Melgratti, U Montanari
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
强制性开放获取政策： Government of Italy, Government of Argentina
Quantitative extensions of reaction systems based on SOS semantics
L Brodo, R Bruni, M Falaschi, R Gori, F Levi, P Milazzo
Neural Computing and Applications 35 (9), 6335-6359, 2023
强制性开放获取政策： Government of Italy
Reconfigurable and software-defined networks of connectors and components
R Bruni, U Montanari, M Sammartino
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
强制性开放获取政策： European Commission, Government of Italy
Revisiting causality, coalgebraically
R Bruni, U Montanari, M Sammartino
Acta Informatica 52, 5-33, 2015
强制性开放获取政策： Government of Italy
出版信息和资助信息由计算机程序自动确定