Techniques for the design of communicating processes

Autor:	S. Damy, G.-R. Perrin
Rok vydání:	2002
Zdroj:	Proceedings of the Sixth International Workshop on Software Specification and Design.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1ff1074f2250c72b6b376f13bf16d305 https://doi.org/10.1109/iwssd.1991.213075 Zobrazit plný text záznamu