José Meseguer: Scientist and Friend Extraordinaire
From MaRDI portal
Publication:2945698
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
Uses Software
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