Pages that link to "Item:Q1608921"

The following pages link to Specification of real-time and hybrid systems in rewriting logic (Q1608921):

Displaying 24 items.

• Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
• The rewriting logic semantics project: a progress report (Q393080) (← 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)
• 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)
• Semantics and pragmatics of real-time maude (Q880982) (← links)
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
• Maude: specification and programming in rewriting logic (Q1608917) (← links)
• Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
• Towards Behavioral Maude (Q2842559) (← links)
• Recent Advances in Real-Time Maude (Q2864519) (← links)
• Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
• A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (Q2873774) (← links)
• José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
• The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
• Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
• An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
• Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)