Research Catalog

Modal and temporal properties of processes

Title
Modal and temporal properties of processes / Colin Stirling.
Author
Stirling, Colin P.
Publication
New York : Springer, [2001], ©2001.

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?
TextRequest in advance QA76.9.L63 S75 2001Off-site

Holdings

Details

Description
xii, 190 pages : illustrations; 24 cm.
Series Statement
Texts in computer science
Uniform Title
Texts in computer science.
Subject
  • Computer logic
  • Parallel processing (Electronic computers)
Bibliography (note)
  • Includes bibliographical references (p. [183]-186) and index.
Contents
1. Processes -- 2. Modalities and Capabilities -- 3. Bisimulations -- 4. Temporal Properties -- 5. Modal Mu-Calculus -- 6. Verifying Temporal Properties -- 7. Exposing Structure.
ISBN
0387987177 (alk. paper)
LCCN
00067924
OCLC
  • 45499972
  • ocm45499972
  • SCSB-4246568
Owning Institutions
Columbia University Libraries