Pages that link to "Item:Q873589"

The following pages link to Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5--7, 2006. Revised selected papers. (Q873589):

Displaying 3 items.

• Behaviour approximated on subgroups (Q1030197) (← links)
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
• A Probabilistic Theory of Designs Based on Distributions (Q3455646) (← links)