View in EDS

Reversible enhanced event structures: Towards reversible E-LOTOS

Saved in:
Bibliographic Details
Title: Reversible enhanced event structures: Towards reversible E-LOTOS
Authors: Kapus-Kolar, M.1 monika.kapus-kolar@ijs.si
Source: Computer Standards & Interfaces. Sep2009, Vol. 31 Issue 5, p942-947. 6p.
Subjects: LOTOS (Computer program language), Programming languages, Computer software, Embryology
Abstract: Abstract: After studying how undoing of events of irreversibly aging processes complicates in the presence of urgent events or occasionally suspended subprocesses, we propose a reversibility operator for the standard process-algebraic specification language E-LOTOS, whose recently proposed true-concurrency semantics is based on enhanced event structures (EESs). With this operator, the reversibility of events executed by a real-time process and the urgency of their undoing can be specified with respect to their external appearance and the time elapsed since their execution. To facilitate definition of the operator, we introduce a very fine control of event undoing into the general EESs. [Copyright &y& Elsevier]
Copyright of Computer Standards & Interfaces is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 41585025
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Reversible enhanced event structures: Towards reversible E-LOTOS
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Kapus-Kolar%2C+M%2E%22">Kapus-Kolar, M.</searchLink><relatesTo>1</relatesTo><i> monika.kapus-kolar@ijs.si</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computer+Standards+%26+Interfaces%22">Computer Standards & Interfaces</searchLink>. Sep2009, Vol. 31 Issue 5, p942-947. 6p.
– 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="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Embryology%22">Embryology</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Abstract: After studying how undoing of events of irreversibly aging processes complicates in the presence of urgent events or occasionally suspended subprocesses, we propose a reversibility operator for the standard process-algebraic specification language E-LOTOS, whose recently proposed true-concurrency semantics is based on enhanced event structures (EESs). With this operator, the reversibility of events executed by a real-time process and the urgency of their undoing can be specified with respect to their external appearance and the time elapsed since their execution. To facilitate definition of the operator, we introduce a very fine control of event undoing into the general EESs. [Copyright &y& Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Computer Standards & Interfaces is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=41585025
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.csi.2008.09.022
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 6
        StartPage: 942
    Subjects:
      – SubjectFull: LOTOS (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Embryology
        Type: general
    Titles:
      – TitleFull: Reversible enhanced event structures: Towards reversible E-LOTOS
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Kapus-Kolar, M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2009
              Type: published
              Y: 2009
          Identifiers:
            – Type: issn-print
              Value: 09205489
          Numbering:
            – Type: volume
              Value: 31
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: Computer Standards & Interfaces
              Type: main
ResultId 1