1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/541
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.authorvan Sinderen, Martenen_UK
dc.contributor.editorBrinksma, Eden_UK
dc.contributor.editorBolognesi, Tommasoen_UK
dc.contributor.editorVissers, Christopher Aen_UK
dc.date.accessioned2017-06-20T05:42:43Z-
dc.date.available2017-06-20T05:42:43Z-
dc.date.issued1992-09en_UK
dc.identifier.urihttp://hdl.handle.net/1893/541-
dc.description.abstractThe architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.en_UK
dc.language.isoenen_UK
dc.relationTurner KJ & van Sinderen M (1992) LOTOS specification style for OSI. In: Brinksma E, Bolognesi T & Vissers CA (eds.) Proceedings of the 3rd LotoSphere Workshop & Seminar. 3rd LotoSphere Workshop, CNUCE (Centro Nazionale Universitario di Calcolo Elettronico), Pisa, 14.09.1992-16.09.1992, pp. 40913-44682.en_UK
dc.titleLOTOS specification style for OSIen_UK
dc.typeConference Paperen_UK
dc.citation.spage40913en_UK
dc.citation.epage44682en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleProceedings of the 3rd LotoSphere Workshop & Seminaren_UK
dc.citation.conferencedates1992-09-14 - 1992-09-16en_UK
dc.citation.conferencelocationCNUCE (Centro Nazionale Universitario di Calcolo Elettronico), Pisaen_UK
dc.citation.conferencename3rd LotoSphere Workshopen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationUniversity of Twenteen_UK
dc.identifier.wtid831448en_UK
dcterms.dateAccepted1992-09-30en_UK
dc.date.filedepositdate2008-11-17en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.authorvan Sinderen, Marten|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorBrinksma, Ed|en_UK
local.rioxx.contributorBolognesi, Tommaso|en_UK
local.rioxx.contributorVissers, Christopher A|en_UK
local.rioxx.freetoreaddate2008-11-17en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2008-11-17|en_UK
local.rioxx.filenamelot-osi.pdfen_UK
local.rioxx.filecount1en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
lot-osi.pdfFulltext - Accepted Version149.97 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.