| Type |  Book |
| ชื่อเรื่อง | Finite transition systems : semantics of communicating systems / Andri Arnold ; translated by John Plaice |
| ผู้แต่ง | Arnold, Andre |
| ISBN | 0-13-092990-5 |
| พิมพลักษณ์ | Paris : Masson, c1994 |
| รูปเล่ม | 177 p. ; 25 cm |
| หัวเรื่อง | Sequential machine theory |