| Type |  Book |
| ชื่อเรื่อง | Introduction to Concurrency Theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari |
| ผู้แต่ง | Gorrieri, Roberto |
| ISBN | 9783319214900 |
| พิมพลักษณ์ | Cham : Springer, 2015 |
| รูปเล่ม | xi, 334 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer multitasking |
| | Computer science --Mathematics [] |
| | Mathematical logic and foundations |
| | Mathematics of computing |
| | Software engineering/programming and operating systems |
| | Theory of computation |