Logo eprints

Items where Author is "Meseguer, José"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: De | Ll | Me | Va
Number of items: 9.

De

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

Ll

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

Me

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

Va

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

This list was generated on Fri Mar 29 00:08:45 2024 CET.