The following pages link to Mark B. van der Zwaag (Q864508):
Displayed 11 items.
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Risk assessment for one-counter threads (Q1015382) (← links)
- (Q1125431) (redirect page) (← links)
- The tree identify protocol of IEEE 1394 in \(\mu\)CRL (Q1125432) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- (Q3148335) (← links)
- (Q4621131) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Logical Approaches to Computational Barriers (Q5898842) (← links)