Items where Author is "Meseguer, José"
Jump to: Book Section | Working Paper Number of items: 3. Book SectionLluch-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) Working PaperLluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished) |
