Pages that link to "Item:Q1199832"

The following pages link to Derivation of concurrent programs: Two examples (Q1199832):

Displaying 9 items.

• Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
• Derivation of efficient parallel programs: An example from genetic sequence analysis (Q916411) (← links)
• The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
• Coordination in the ImpUNITY framework (Q1818367) (← links)
• DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
• Computing with multiple discrete flows (Q2430306) (← links)
• Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
• Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)