The following pages link to Algebraic simulations (Q844884):
Displaying 15 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Simple proof techniques for property preservation via simulation (Q1350106) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Equational Abstractions in Rewriting Logic and Maude (Q2797862) (← links)
- Applying ELAN strategies in simulating processors over simple architectures (Q2843608) (← links)
- Algebraic stuttering simulations (Q2871852) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- A Verification Logic for Rewriting Logic (Q3025340) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Recent Trends in Algebraic Development Techniques (Q5704000) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
