The following pages link to (Q3795196):
Displaying 7 items.
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- (Q4232882) (← links)
- (Q4413579) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)