Constructing Mid-points for Two-party Asynchronous Protocols

Metadata Label Value
Author(s): Tsankov, Petar, Torabi Dashti, Muhammad, Basin, David A.
Publisher: Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Citation:

Tsankov, Petar, Torabi Dashti, Muhammad and Basin, David A.. Constructing Mid-points for Two-party Asynchronous Protocols. Eidgenössische Technische Hochschule Zürich, Department of Computer Science (2011). http://dx.doi.org/10.3929/ethz-a-006783361

Document Type: Conference Contributions  
Documents: Text (212.20KB)

Detailed Information

Metadata Description
Title Constructing Mid-points for Two-party Asynchronous Protocols
Author(s) Tsankov, Petar
Torabi Dashti, Muhammad
Basin, David A.
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Publication Date 2011
Notes To appear in: Principles of Distributed Systems - 15th International Conference, OPODIS 2011 Toulouse, France, December 13-16, 2011, Proceedings
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006783361
Subject(s) Computer Science, General
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4854-01.pdf application/pdf 212.20KB
Abstract Views and Downloads
Views 14  abstracts
Downloads 13  downloads

Abstract Views and Downloads by Country
Switzerland Views abstracts
Downloads downloads
Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Thu, 22 Dec 2011, 05:52:54 CET