登入
選單
返回
Google圖書搜尋
Ready Trace Semantics for Concrete Process Algebra with Priority Operator
J. C. M. Baeten
J. A. Bergstra
J. W. Klop
出版
Department of Computer Science, Centrum voor Wiskunde en Informatica
, 1985
URL
http://books.google.com.hk/books?id=bwV0HAAACAAJ&hl=&source=gbs_api