scientific article
From MaRDI portal
Publication:2734833
zbMath1003.03032MaRDI QIDQ2734833
Publication date: 26 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (19)
Rewriting logic: Roadmap and bibliography ⋮ Executable structural operational semantics in Maude ⋮ Order-Sorted Parameterization and Induction ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Twenty years of rewriting logic ⋮ Declarative Debugging of Membership Equational Logic Specifications ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Unnamed Item ⋮ A Declarative Debugger for Maude Functional Modules ⋮ Semantic foundations for generalized rewrite theories ⋮ Comparing Meseguer's Rewriting Logic with the Logic CRWL ⋮ Towards Behavioral Maude ⋮ Deduction, Strategies, and Rewriting ⋮ Maude: specification and programming in rewriting logic ⋮ Reflection in conditional rewriting logic ⋮ A Maude specification of an object-oriented model for telecommunication networks ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
Uses Software
This page was built for publication:
