José Meseguer: scientist and friend extraordinaire
From MaRDI portal
Publication:2945698
DOI10.1007/978-3-319-23165-5_1zbMATH Open1321.01052OpenAlexW2288620445WikidataQ123905819 ScholiaQ123905819MaRDI QIDQ2945698FDOQ2945698
Authors: Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn 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
Recommendations
- The scientific work of Kiyoshi Iséki
- scientific article; zbMATH DE number 1251118
- Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
- scientific article; zbMATH DE number 1998885
- Preface [Life and work of Rajendra Bhatia on the occasion of his 70th birthday]
Cites Work
- Computer Aided Verification
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Specification of real-time and hybrid systems in rewriting logic
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Title not available (Why is that?)
- Algebraic simulations
- Conditional rewriting logic as a unified model of concurrency
- Twenty years of rewriting logic
- Title not available (Why is that?)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- The rewriting logic semantics project: a progress report
- Hybrid Systems: Computation and Control
- Rewriting logic as a semantic framework for concurrency: a progress report
- The rewriting logic semantics project
- Semantics and pragmatics of real-time maude
- Specification and proof in membership equational logic
- Petri nets are monoids
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- From Petri nets to linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- Folding variant narrowing and optimal variant termination
- Localized operational termination in general logics
- Title not available (Why is that?)
- Reflection in conditional rewriting logic
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
- Maude's module algebra
- A rewriting based model for probabilistic distributed object systems.
- Title not available (Why is that?)
- Compiling concurrent rewriting onto the Rewrite Rule Machine
- Title not available (Why is that?)
- Conditional rewriting logic: Deduction, models and concurrency
- Predicate abstraction of rewrite theories
- From OBJ to Maude and Beyond
Cited In (10)
- Sanjoy K. Mitter: A scholar, a gentleman, and a friend
- Peter Mittelstaedt: List of publications until 2010. Including a list of doctoral students and their dissertation
- Title not available (Why is that?)
- The Good Fortune of Maintaining a Long-Lasting Close Friendship and Scientific Collaboration with V. E. Katsnelson
- Title not available (Why is that?)
- OBITUARY
- Title not available (Why is that?)
- My Friend Joseph Goguen
- Obituary: José Real Anguas (16.07.1951--27.01.2012)
- The scientific work of Kiyoshi Iséki
Uses Software
This page was built for publication: José Meseguer: scientist and friend extraordinaire
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945698)
