Research Catalog

Formal methods for concurrency

Title
Formal methods for concurrency / Clive Fencott.
Author
Fencott, P. C.
Publication
London : International Thomson Computer Press, 1996.

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.54 .F46 1996g Off-site

Holdings

Details

Description
xiii, 290 pages; 24 cm
Subjects
Bibliography (note)
  • Includes bibliographic references (p. 283-284) and index.
Contents
1. Introduction to concurrency -- 2. A language for concurrency -- 3. Formal definition -- 4. A first case study -- 5. Value passing -- 6. Traffic lights -- 7. Time -- 8. The home heating system -- 9. Theories of equivalence -- 10. Equational laws -- 11. Properties of specifications -- 12. Safety and CCS -- 13. Tool support -- 14. Lifecycles, methods and CCS -- 15. Implementation issues -- A Solutions -- B Reference Manual.
ISBN
1850321736
LCCN
gb 96018245
OCLC
ocm34494133
Owning Institutions
Columbia University Libraries