登入選單
返回Google圖書搜尋
Finite Transition Systems
André Arnold
其他書名
Semantics of Communicating Systems
出版Masson, 1994
主題Computers / Machine TheoryComputers / Networking / GeneralComputers / Programming / GeneralComputers / Design, Graphics & Media / Graphics ToolsLanguage Arts & Disciplines / Library & Information Science / GeneralScience / System TheoryTechnology & Engineering / Automation
ISBN01309299059780130929907
URLhttp://books.google.com.hk/books?id=W9hQAAAAMAAJ&hl=&source=gbs_api
註釋Covers all aspects of finite transition systems, which enable the modelling of systems of concurrent processes and also provide the basis for verification and notions of equivalence. This text deals with both the semantics of systems describable as transition systems and their logics.