The following pages link to (Q2729921):
Displaying 10 items.
- Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections (Q970002) (← links)
- Serialization of concurrent programs (Q1124386) (← links)
- A mechanized proof environment for the convenient computations proof method (Q1426938) (← links)
- Mechanical verification of concurrency control and recovery protocols (Q2760869) (← links)
- (Q3675512) (← links)
- (Q3785928) (← links)
- Precise serialization for optimistic concurrency control (Q4225382) (← links)
- Serializability for eventual consistency: criterion, analysis, and applications (Q5370881) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)