Pages that link to "Item:Q1190488"
From MaRDI portal
The following pages link to Conditional rewriting logic as a unified model of concurrency (Q1190488):
Displayed 50 items.
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- A probabilistic approximate logic for neuro-symbolic learning and reasoning (Q2667187) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- (Q2703692) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- Certifying Term Rewriting Proofs in ELAN (Q2841249) (← links)
- Knuth-Bendix Completion for Non-Symmetric Transitive Relations (Q2841250) (← links)
- Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- Comparing Meseguer's Rewriting Logic with the Logic CRWL (Q2841300) (← links)
- (Q2851050) (← links)
- (Q2851051) (← links)
- (Q2851053) (← links)
- (Q2851057) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- A Formal Framework for Interactive Agents (Q2864512) (← links)
- Semantic Determinism and Functional Logic Program Properties (Q2864514) (← links)
- Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Partial Order Reduction for Rewriting Semantics of Programming Languages (Q2873775) (← links)
- Solving Sudoku Puzzles with Rewriting Rules (Q2873776) (← links)
- Abstraction and Model Checking of Core Erlang Programs in Maude (Q2873779) (← links)
- A Rewriting Logic Framework for Soft Constraints (Q2873783) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems (Q2944903) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Tiles for Reo (Q3184723) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Converting between Combinatory Reduction Systems and Big Step Semantics (Q3184752) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)