The following pages link to (Q4138082):
Displaying 6 items.
- An extensional treatment of lazy data flow deadlock (Q671995) (← links)
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- Semantic properties of Lucid's compute clause and its compilation (Q1255778) (← links)
