Pages that link to "Item:Q1608917"
From MaRDI portal
The following pages link to Maude: specification and programming in rewriting logic (Q1608917):
Displayed 50 items.
- Maude (Q18367) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Algebraic simulations (Q844884) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Equational abstractions (Q944377) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- A wide-spectrum language for verification of programs on weak memory models (Q2024349) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems (Q2669242) (← links)
- Maximally Parallel Contextual String Rewriting (Q2827840) (← links)
- Defining Actions in Concurrent Declarative Programming (Q2841291) (← links)