Pages that link to "Item:Q2851704"
From MaRDI portal
The following pages link to A calculus for reconfiguration (extended abstract) (Q2851704):
Displaying 6 items.
- A calculus of program adaption and its applications (Q1581063) (← links)
- A calculus for dynamic reconfiguration with low priority linking (Q2848693) (← links)
- Computational soundness of a call by name calculus of recursively-scoped records (Q2873682) (← links)
- A Framework for Type Safe Exchange of Mobile Code (Q3608465) (← links)
- A quantitative inherent reconfiguration theory for a class of systems† (Q4724492) (← links)
- Formal Methods for Components and Objects (Q5897127) (← links)