Robuta

https://it.pt/BibTex/PaperJournals/30626 Bibtex for Journal Paper Reduction techniques for proving decidability in logics and their... journal paper https://pldi18.sigplan.org/details/deepspec-2018-papers/17/Modularity-for-Decidability-Implementing-and-Semi-Automatically-Verifying-Distribute Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems... Deep Specifications Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided... modularity decidability implementing semi automatically https://pure.ecnu.edu.cn/zh/publications/decidability-of-timed-language-inclusion-for-networks-of-real-tim/ Decidability of timed language-inclusion for networks of real-time communicating sequential... for networks real time decidability timed language https://boa.unimib.it/handle/10281/49507 Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues cellular automata multidimensional closing property