Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 15.

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2009) A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Presentado)

Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

Durán, Francisco y Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

Caballero, Rafael y Martí Oliet, Narciso y Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Presentado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Caballero, Rafael y Martí Oliet, Narciso (2008) Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso (2009) Declarative Debugging of Missing Answers in Rewriting Logic. [ Technical Report SIC; 6-09, ] (No publicado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto y Martí Oliet, Narciso y Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (No publicado)

Verdejo López, José Alberto y Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Verdejo López, José Alberto y Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Verdejo López, José Alberto (2004) Maude como marco semántico ejecutable. [Tesis Doctoral]

Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [ Technical Report 1/07; ] (No publicado)

Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (No publicado)

Verdejo López, José Alberto y Pita Andreu, María Isabel y Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Hidalgo Herrero, Mercedes y Verdejo López, José Alberto y Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

Esta lista fue generada el Sat Dec 3 02:57:37 2016 CET.