Zobrazeno 1 - 10
of 1 978
pro vyhledávání: '"Oliet,A."'
Publikováno v:
J. Logic. Algebr. Program 134 (2023) article 100887
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represente
Externí odkaz:
http://arxiv.org/abs/2402.00275
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verif
Externí odkaz:
http://arxiv.org/abs/2307.16537
Autor:
Ignacio Fernández-Moncada, Gianluca Lavanco, Unai B. Fundazuri, Nasrin Bollmohr, Sarah Mountadem, Tommaso Dalla Tor, Pauline Hachaguer, Francisca Julio-Kalajzic, Doriane Gisquet, Roman Serrat, Luigi Bellocchio, Astrid Cannich, Bérénice Fortunato-Marsol, Yusuke Nasu, Robert E. Campbell, Filippo Drago, Carla Cannizzaro, Guillaume Ferreira, Anne-Karine Bouzier-Sore, Luc Pellerin, Juan P. Bolaños, Gilles Bonvento, L. Felipe Barros, Stephane H. R. Oliet, Aude Panatier, Giovanni Marsicano
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-17 (2024)
Abstract Astrocytes control brain activity via both metabolic processes and gliotransmission, but the physiological links between these functions are scantly known. Here we show that endogenous activation of astrocyte type-1 cannabinoid (CB1) recepto
Externí odkaz:
https://doaj.org/article/105107d9032b4f53bd8646353fd2dd81
We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the implementation of the semantics of AMN as denotations in the $\pi$ Framework,
Externí odkaz:
http://arxiv.org/abs/2108.07878
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Durán, Francisco, Eker, Steven, Escobar, Santiago, Martí-Oliet, Narciso, Meseguer, José, Rubio, Rubén, Talcott, Carolyn
Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories.
Externí odkaz:
http://arxiv.org/abs/1910.08416
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming August 2023 134
Autor:
Hopson, Cynthia, Rigual, Victoria, Alonso, M. Virginia, Oliet, Mercedes, Rodriguez, Francisco
Publikováno v:
In Carbohydrate Polymers 1 August 2023 313
Publikováno v:
Theory and Practice of Logic Programming, 20(1), 44-98, 2020
Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose a complex
Externí odkaz:
http://arxiv.org/abs/1908.11769
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.