( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A case study in abstraction using E-LOTOS and the FireWire.

, и . Comput. Networks, 37 (3/4): 481-502 (2001)

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 Moreira

Alberto Coda

Alberto Fierro

Alberto Ricco

Alberto Moreira

 

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

Declarative Debugging of Rewriting Logic Specifications., , , и . WADT, том 5486 из Lecture Notes in Computer Science, стр. 308-325. Springer, (2008)The Maude strategy language., , , , и . CoRR, (2024)Declarative debugging of rewriting logic specifications., , , и . J. Log. Algebraic Methods Program., 81 (7-8): 851-897 (2012)A case study in abstraction using E-LOTOS and the FireWire., и . Comput. Networks, 37 (3/4): 481-502 (2001)Playing with Maude., , и . RULE@RDP, том 124 из Electronic Notes in Theoretical Computer Science, стр. 3-23. Elsevier, (2004)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)Egalitarian State-Transition Systems., , и . WRLA, том 9942 из Lecture Notes in Computer Science, стр. 98-117. Springer, (2016)The Leader Election Protocol of IEEE 1394 in Maude., , и . WRLA, том 36 из Electronic Notes in Theoretical Computer Science, стр. 383-404. Elsevier, (2000)