Pages that link to "Item:Q1126523"
From MaRDI portal
The following pages link to Formal stystems specification. The RPC-memory specification case study (Q1126523):
Displaying 5 items.
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- M-net Calculus Based Semantics for Triggers (Q6487398) (← links)