The following pages link to Predicative programming Part II (Q3723676):
Displayed 6 items.
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Program composition via unification (Q1331925) (← links)
- Interfaces between languages for communicating systems (Q5204354) (← links)
- Program composition via unification (Q5204356) (← links)