Autor:	Pierre America, F.S. de Boer
Přispěvatelé:	Mathematics and Computer Science
Rok vydání:	1994
Předmět:	Soundness Structure (mathematical logic) TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Theoretical computer science Human–computer interaction Computer science Proof theory Process (engineering) TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Theory of computation Software Theoretical Computer Science
Zdroj:	Formal Aspects of Computing, 6(3), 269-316. Springer
ISSN:	1433-299X 0934-5043
DOI:	10.1007/bf01215408
Popis:	We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72bed1215db850d978021f62258fc0ad https://doi.org/10.1007/bf01215408 Zobrazit plný text záznamu Full text from SpringerLink