The following pages link to (Q2851053):
Displaying 24 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- A language-based approach to modelling and analysis of Twitter interactions (Q511939) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Algebraic simulations (Q844884) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Equational abstractions (Q944377) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- A set automaton to locate all pattern matches in a term (Q2119959) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (Q2873774) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Model Checking Reconfigurable Petri Nets with Maude (Q3187803) (← links)
- An Executable Semantics of Clock Constraint Specification Language and Its Applications (Q4686605) (← links)
- (Q5089038) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
