Introduction to concurrency theory : transition systems and CCS

Author(s)

• Gorrieri, Roberto
• Versari, Cristian

Bibliographic Information

Introduction to concurrency theory : transition systems and CCS

Roberto Gorrieri, Cristian Versari

（Texts in theoretical computer science, An EATCS series）

Springer, c2015

• : pbk

Note

Includes bibliographical references (p. 325-330) and index

Details

• NCID: BB19708816
• ISBN:
  • 9783319214900
  • 9783319366388
• LCCN: 2015949400
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xi, 334 p.
• Size: 24 cm
• Classification:
  • DC23 : 004.35
• Subject Headings:
  • LCSH : Parallel processing (Electronic computers)
  • LCSH : Computer multitasking
• Parent Bibliography ID:
  • BA24186461