Research Catalog

Nets, terms, and formulas : three views of concurrent processes and their relationship

Title
Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.
Author
Olderog, E.-R.
Publication
Cambridge ; New York : Cambridge University Press, 1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.58 .O43 1991Off-site

Details

Description
x, 267 pages : illustrations; 26 cm
Series Statement
Cambridge tracts in theoretical computer science ; 23
Uniform Title
Cambridge tracts in theoretical computer science ; 23.
Subject
  • Parallel processing (Electronic computers)
  • System design
  • System design
  • Nebenläufigkeit
  • Paralleler Prozess
  • Semantik
  • Petri netwerken
  • Procesalgebra
  • Parallel programming (Computer science)
  • Computer multitasking
  • Petri nets
  • Petri, Réseaux de
  • Parallélisme (informatique)
  • Concurrence > Modèles mathématiques
Bibliography (note)
  • Includes bibliographical references (p. 241-252) and indexes.
ISBN
  • 0521400449
  • 9780521400442
  • 0521018455
  • 9780521018456
LCCN
  • 92160256
  • 978-0-521-40044-2*hbk.
OCLC
  • ocm26364162
  • 26364162
  • SCSB-1965482
Owning Institutions
Princeton University Library