1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Journal Articles
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/10700
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMaharaj, Savien_UK
dc.contributor.authorShankland, Carronen_UK
dc.date.accessioned2016-01-19T00:55:08Z-
dc.date.available2016-01-19T00:55:08Z-
dc.date.issued2000-10en_UK
dc.identifier.urihttp://hdl.handle.net/1893/10700-
dc.description.abstractWe present a survey of formal specification techniques appiled to the leader election protocol of the IEEE 1394 High Performance Serial Bus. Specifications written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.en_UK
dc.language.isoenen_UK
dc.publisherJournal of Universal Computer Science Consortiumen_UK
dc.relationMaharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394. Journal of Universal Computer Science, 6 (11), pp. 1145-1163. http://www.jucs.org/jucs_6_11/a_survey_of_formalen_UK
dc.rightsPublisher allows this work to be made available in this repository. Published in Journal of Universal Computer Science, Volume 6, Issue 11, pp.1145-1163 by Journal of Universal Computer Science Consortium with the following policy: The Author is permitted to make an electronic version of this article available on the Author's institutional repository prior to its publication in J.UCS (pre-print). However, in the interest of the scientific publication process, the Author agrees to replace the pre-print by a pdf version of the final published version of the article and state the complete bibliographical reference (volume, issue and page number) and the appropriate URL after the article has been published in J.UCS.en_UK
dc.subjectleader election protocolen_UK
dc.subjectsurvey of formal techniquesen_UK
dc.subjectcomparative case studyen_UK
dc.subjectconcurrencyen_UK
dc.subjectformal methodsen_UK
dc.subjectnetworksen_UK
dc.subjectstandardsen_UK
dc.titleA Survey of formal methods applied to leader election in IEEE 1394en_UK
dc.typeJournal Articleen_UK
dc.citation.jtitleJournal of Universal Computer Scienceen_UK
dc.citation.issn0948-6968en_UK
dc.citation.issn0948-695Xen_UK
dc.citation.volume6en_UK
dc.citation.issue11en_UK
dc.citation.spage1145en_UK
dc.citation.epage1163en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.identifier.urlhttp://www.jucs.org/jucs_6_11/a_survey_of_formalen_UK
dc.author.emailces1@stir.ac.uken_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.scopusid2-s2.0-0038420059en_UK
dc.identifier.wtid736849en_UK
dc.contributor.orcid0000-0002-0674-6044en_UK
dc.contributor.orcid0000-0001-7672-2884en_UK
dcterms.dateAccepted2000-10-31en_UK
dc.date.filedepositdate2013-01-23en_UK
rioxxterms.typeJournal Article/Reviewen_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorMaharaj, Savi|0000-0002-0674-6044en_UK
local.rioxx.authorShankland, Carron|0000-0001-7672-2884en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate2013-01-23en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2013-01-23|en_UK
local.rioxx.filenamejucs.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source0948-695Xen_UK
Appears in Collections:Computing Science and Mathematics Journal Articles

Files in This Item:
File Description SizeFormat 
jucs.pdfFulltext - Published Version264.51 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


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.