The following pages link to (Q2703709):
Displayed 8 items.
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- (Q2851056) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)