Pages that link to "Item:Q1977077"
From MaRDI portal
The following pages link to Specifying communication in distributed information systems (Q1977077):
Displaying 4 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- On Obligations (Q5862662) (← links)
