STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/10699| Appears in Collections: | Computing Science and Mathematics Journal Articles |
| Peer Review Status: | Refereed |
| Title: | The Tree Identify Protocol of IEEE 1394 in mu CRL |
| Author(s): | Shankland, Carron van der Zwaag, Mark |
| Contact Email: | ces1@stir.ac.uk |
| Issue Date: | May-1998 |
| Date Deposited: | 23-Jan-2013 |
| Citation: | Shankland C & van der Zwaag M (1998) The Tree Identify Protocol of IEEE 1394 in mu CRL. Formal Aspects of Computing, 10 (5-6), pp. 509-531. https://doi.org/10.1007/s001650050030 |
| Abstract: | We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using μCRL. We use the cones and foci verification technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected. |
| DOI Link: | 10.1007/s001650050030 |
| Rights: | Publisher policy allows this work to be made available in this repository; published in Formal Aspects of Computing, May 1998, Volume 10, Issue 5-6, pp 509-531 by Springer. DOI: 10.1007/s001650050030 The original publication is available at www.springerlink.com |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| facs98.pdf | Fulltext - Accepted Version | 16.3 MB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.