登入選單
返回Google圖書搜尋
The Connection Between an Event Structure Semantics and an Operational Semantics for TCSP
Christel BaierMila Majster-Cederbaum
出版Universitätsbibliothek Mannheim, 1991
URLhttp://books.google.com.hk/books?id=c3DPzQEACAAJ&hl=&source=gbs_api