rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Process Algebra with Timing
  name:
    name part: Baeten, J. C. M.
    role:
      role term: creator
  name:
    name part: Middelburg, C. A.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2002
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xix, 290 pages)
  abstract: Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or continuous. All presented theories are extensions of the algebra of communicating processes. The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes.
  note: by J. C. M. Baeten, C. A. Middelburg.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Algebra
  subject:
    topic: Algebra
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Computer science
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Monographs in Theoretical Computer Science An EATCS Series
  identifier: 9783662049952 (electronic bk.)
  identifier: 3662049953 (electronic bk.)
  identifier: 9783642077883
  identifier: 3642077889
  identifier: 3662049953
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130101
    record change date: 20260422172154.2
    record identifier: in00003572744
    language of cataloging:
      language term: eng