An implementation of flush channels based on a verification methodology

Autor:	M. Ahuja, Tracy Camp, Phil Kearns
Rok vydání:	2003
Předmět:	Out-of-order execution Relation (database) Asynchronous communication Computer science business.industry Distributed computing Message passing Data_CODINGANDINFORMATIONTHEORY Programmer business Formal verification Computer hardware Communication channel
Zdroj:	ICDCS
DOI:	10.1109/icdcs.1992.235023
Popis:	Flush channels generalize more conventional asynchronous message passing protocols. A distributed system that uses flush channels allows a programmer the flexibility of specifying the delivery order of each message in relation to other messages transmitted on the channel. An implementation technique that follows directly from a verification methodology for flush channels is presented. A relatively formal argument in support of the technique is included. >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::49bb0d962c0de5a224f6a47cfa9f98ed https://doi.org/10.1109/icdcs.1992.235023 Zobrazit plný text záznamu