Research Catalog

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism

Title
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao.
Author
Rao, Josyula Ramachandra, 1962-
Publication
Berlin ; New York : Springer-Verlag, c1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 95-1573Offsite

Details

Description
xi, 178 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 908
Subject
  • Parallel programming (Computer science)
  • Computer software > Verification
Bibliography (note)
  • Includes bibliographical references (p. [169]-173) and index.
Call Number
JSE 95-1573
ISBN
  • 0387591737 (New York : acid-free paper)
  • 3540591737 (Berlin : acid-free paper)
LCCN
95010413
OCLC
32202171
Author
Rao, Josyula Ramachandra, 1962-
Title
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao.
Imprint
Berlin ; New York : Springer-Verlag, c1995.
Series
Lecture notes in computer science ; 908
Bibliography
Includes bibliographical references (p. [169]-173) and index.
Research Call Number
JSE 95-1573
View in Legacy Catalog