Pages that link to "Item:Q6162106"
From MaRDI portal
The following pages link to Modelling and verification of Distributed Algorithms (Q6162106):
Displaying 6 items.
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- A new algebraic modelling approach to distributed problem-solving in MAS (Q1850670) (← links)
- Structuring and verifying distributed algorithms (Q2748153) (← links)