Autor:	Scott F. Smith, Amy E. Zwarico
Rok vydání:	2005
Předmět:	Handshaking Theoretical computer science Computer science Asynchronous communication Component (UML) Observable Mutual exclusion Rewriting Determinism Electronic circuit
Zdroj:	Lecture Notes in Computer Science ISBN: 354056778X CHARME
DOI:	10.1007/bfb0021723
Popis:	We have shown that Martin et al.'s methodology can be made more rigorous. In order to accomplish this the new concepts of partial declarations, module and component, mutual exclusion violations, fairness, handshaking variables, distinguished ports, equational rewriting, separate compilation and observable determinism were introduced.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::170ce49c8aa2522b15bd82ac7f14aa3c https://doi.org/10.1007/bfb0021723 Zobrazit plný text záznamu