Pages that link to "Item:Q880982"
From MaRDI portal
The following pages link to Semantics and pragmatics of real-time maude (Q880982):
Displayed 26 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Probabilistic timed graph transformation systems (Q1994363) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude (Q2239276) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (Q2335948) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Recent Advances in Real-Time Maude (Q2864519) (← links)
- Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Two Decades of Maude (Q2945709) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (Q5256354) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)