Pages that link to "Item:Q3098048"
From MaRDI portal
The following pages link to Formal Methods, Foundations and Applications (Q3098048):
Displaying 7 items.
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)
- PiStache: Implementing π-Calculus in Scala (Q3098054) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic (Q3098057) (← links)
