登入選單

返回Google圖書搜尋

A Dynamical Model of Behavioural Specifications

Tomasz Nowicki

出版	Institute of Informatics, Warsaw University, 1995
URL	http://books.google.com.hk/books?id=WIVy0AEACAAJ&hl=&source=gbs_api

註釋

We give a description of the behavioral specification in terms of infinite sequences. This description allows the use of the well developed theory of subshifts of finite type and the formulation of some invariance properties. Our aim is to introduce a new language in this area.