( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Strategy-Controlled Rewriting Systems (System Description).

, , , и . FSCD, том 131 из LIPIcs, стр. 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alberto Fierro

Alberto Ricco

Alberto Moreira

Alberto Moreira

Alberto Botti

 

Другие публикации лиц с тем же именем

The Maude strategy language., , , , и . CoRR, (2024)Declarative Debugging of Rewriting Logic Specifications., , , и . WADT, том 5486 из Lecture Notes in Computer Science, стр. 308-325. Springer, (2008)A case study in abstraction using E-LOTOS and the FireWire., и . Comput. Networks, 37 (3/4): 481-502 (2001)Declarative debugging of rewriting logic specifications., , , и . J. Log. Algebraic Methods Program., 81 (7-8): 851-897 (2012)Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics., , и . WRS@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 119-137. Elsevier, (2006)A Conference Reviewing System in Mobile Maude., и . WRLA, том 71 из Electronic Notes in Theoretical Computer Science, стр. 127-143. Elsevier, (2002)Implementing CCS in Maude 2., и . WRLA, том 71 из Electronic Notes in Theoretical Computer Science, стр. 282-300. Elsevier, (2002)The Leader Election Protocol of IEEE 1394 in Maude., , и . WRLA, том 36 из Electronic Notes in Theoretical Computer Science, стр. 383-404. Elsevier, (2000)Egalitarian State-Transition Systems., , и . WRLA, том 9942 из Lecture Notes in Computer Science, стр. 98-117. Springer, (2016)Equational Abstractions in Rewriting Logic and Maude., , и . SBMF, том 8941 из Lecture Notes in Computer Science, стр. 17-31. Springer, (2014)