Differences between Estelle and LOTOS Descriptions of a Protocol

Autor:	Richard L. Tenney, Jochen Grobholz
Rok vydání:	1992
Předmět:	Computer science Programming language computer.software_genre Protocol (object-oriented programming) computer
Zdroj:	Formale Beschreibungstechniken für verteilte Systeme ISBN: 9783540555681 Formale Beschreibungstechniken für verteilte Systeme
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c59ffa64242696d35a8f0271ee664eef https://doi.org/10.1007/978-3-642-77580-2_11 Zobrazit plný text záznamu