View in EDS

A case study in abstraction using E-LOTOS and the FireWire.

Saved in:
Bibliographic Details
Title: A case study in abstraction using E-LOTOS and the FireWire.
Authors: Shankland, Carron, Verdejo, Alberto, Quemada, J.
Source: Computer Networks. Nov2001, Vol. 37 Issue 3/4, p481. 22p. 2 Black and White Photographs, 5 Diagrams.
Subjects: LOTOS (Computer program language), International Organization for Standardization, Computer buses
Abstract: Examines the use of International Organization for Standardization standard Enhancements to Language Temporary of Ordering Specification (E-LOTOS) to describe the leader election protocol of IEEE 1394 serial multimedia bus. Features of E-LOTOS; Applicability of E-LOTOS to protocol description; Verification techniques and tools for E-LOTOS.
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 5468210
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A case study in abstraction using E-LOTOS and the FireWire.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Shankland%2C+Carron%22">Shankland, Carron</searchLink><br /><searchLink fieldCode="AR" term="%22Verdejo%2C+Alberto%22">Verdejo, Alberto</searchLink><br /><searchLink fieldCode="AR" term="%22Quemada%2C+J%2E%22">Quemada, J.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computer+Networks%22">Computer Networks</searchLink>. Nov2001, Vol. 37 Issue 3/4, p481. 22p. 2 Black and White Photographs, 5 Diagrams.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22International+Organization+for+Standardization%22">International Organization for Standardization</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+buses%22">Computer buses</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Examines the use of International Organization for Standardization standard Enhancements to Language Temporary of Ordering Specification (E-LOTOS) to describe the leader election protocol of IEEE 1394 serial multimedia bus. Features of E-LOTOS; Applicability of E-LOTOS to protocol description; Verification techniques and tools for E-LOTOS.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=5468210
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/S1389-1286(01)00190-6
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 22
        StartPage: 481
    Subjects:
      – SubjectFull: LOTOS (Computer program language)
        Type: general
      – SubjectFull: International Organization for Standardization
        Type: general
      – SubjectFull: Computer buses
        Type: general
    Titles:
      – TitleFull: A case study in abstraction using E-LOTOS and the FireWire.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Shankland, Carron
      – PersonEntity:
          Name:
            NameFull: Verdejo, Alberto
      – PersonEntity:
          Name:
            NameFull: Quemada, J.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov2001
              Type: published
              Y: 2001
          Identifiers:
            – Type: issn-print
              Value: 13891286
          Numbering:
            – Type: volume
              Value: 37
            – Type: issue
              Value: 3/4
          Titles:
            – TitleFull: Computer Networks
              Type: main
ResultId 1