Conditional rewriting logic as a unified model of concurrency

1992/04/01 by José Meseguer · 6 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1016/0304-3975(92)90182-f

openalex publication_date 1992/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25

Cited by

• Specification of real-time and hybrid systems in rewriting logic
• Theorem Proving and Algebra
• A Rewriting Logic Approach to Stochastic and Spatial Constraint System\n Specification and Verification
• An executable formal semantics of C with applications
• Rewriting Logic Semantics of a Plan Execution Language
• Coherence without unique normal forms