Abstract | ||
---|---|---|
We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three dierent levels of detail using CRL. We use the cones and foci verication technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected. 1991 Mathematics Subject Classication: 68Q22: Parallel and distributed algorithms; 68Q45: Formal |
Year | Venue | Keywords |
---|---|---|
1998 | Formal Asp. Comput. | verication of distributed systems,leader election protocols,& phrases: process algebra,process algebra,level of detail,leader election,distributed system |
DocType | Volume | Issue |
Journal | 10 | 5-6 |
Citations | PageRank | References |
10 | 0.89 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carron Shankland | 1 | 191 | 18.00 |
Mark Van Der Zwaag | 2 | 76 | 5.00 |