Correctness analysis for class of asynchronous communication mechanisms.

Autor:	Simpson, H.R.1,2
Zdroj:	IEE Proceedings: Part E: Computers & Digital Techniques. Jan1992, Vol. 139 Issue 1, p35-49. 15p.
Databáze:	Library, Information Science & Technology Abstracts
Externí odkaz:	Zobrazit plný text záznamu