A theory of regular MSC languages

10.1016/j.ic.2004.08.004

Saved in:

書目詳細資料
Main Authors:	Henriksen, J.G., Mukund, M., Kumar, K.N., Sohoni, M., Thiagarajan, P.S.
其他作者:	COMPUTER SCIENCE
格式:	Article
出版:	2013
主題:	Message sequence charts Message-passing systems Monadic second-order logic Realizability Regularity Synthesis
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/39782
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

實物特徵
總結:	10.1016/j.ic.2004.08.004

相似書籍