José Meseguer: Scientist and Friend Extraordinaire

DOI10.1007/978-3-319-23165-5_1zbMath1321.01052OpenAlexW2288620445WikidataQ123905819 ScholiaQ123905819MaRDI QIDQ2945698

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Uses Software

• JavaFAN
• Maude
• PMaude
• HI-maude
• Maude-NPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic simulations
• The rewriting logic semantics project
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Semantics and pragmatics of real-time maude
• Maude's module algebra
• Petri nets are monoids
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Reflection in conditional rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Twenty years of rewriting logic
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• Folding variant narrowing and optimal variant termination
• Specification and proof in membership equational logic
• The Rewriting Logic Semantics Project: A Progress Report
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• From petri nets to linear logic
• Predicate Abstraction of Rewrite Theories
• Localized Operational Termination in General Logics
• Computer Aided Verification
• From OBJ to Maude and Beyond
• Conditional rewriting logic: Deduction, models and concurrency
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• Hybrid Systems: Computation and Control
• Formal Methods for Open Object-Based Distributed Systems
• Rewriting logic as a semantic framework for concurrency: a progress report

This page was built for publication: José Meseguer: Scientist and Friend Extraordinaire