Pages that link to "Item:Q3345755"
From MaRDI portal
The following pages link to Protocol Verification via Projections (Q3345755):
Displaying 12 items.
- Verification of a multiprocessor cache protocol using simulation relations and higher-order logic (Q685110) (← links)
- The existence of refinement mappings (Q805251) (← links)
- Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← links)
- Probabilistic verification of communication protocols (Q916356) (← links)
- A methodology for constructing communication protocols with multiple concurrent functions (Q1112596) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Towards an understanding of unbounded variables in asynchronous systems (Q1198014) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- On the complexity of verifying concurrent transition systems (Q1854510) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
