Event-B Decomposition for Parallel Programs

Metadata Label Value
Author(s): Hoang, Thai Son, Abrial, Jean-Raymond
Publisher: Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Citation:

Hoang, Thai Son and Abrial, Jean-Raymond. Event-B Decomposition for Parallel Programs. Eidgenössische Technische Hochschule Zürich, Department of Computer Science (2011). http://dx.doi.org/10.3929/ethz-a-006804588

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

Detailed Information

Metadata Description
Title Event-B Decomposition for Parallel Programs
Author(s) Hoang, Thai Son
Abrial, Jean-Raymond
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Publication Date 2011
Notes In: ABZ2010: Abstract State Machine, Alloy, Event-B and Z, Second International Conference
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006804588
Subject(s) Computer Science, General
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4939-01.pdf application/pdf 330.84KB
Abstract Views and Downloads
Views 16  abstracts
Downloads 28  downloads

Abstract Views and Downloads by Country
Views 6  abstracts
Downloads 13  downloads
France Views 3  abstracts
Downloads 4  downloads
Tunisia Views 3  abstracts
Downloads 3  downloads
United States Views 3  abstracts
Downloads 2  downloads
Canada Views 0  abstracts
Downloads 1  downloads
China Views 0  abstracts
Downloads 1  downloads
Finland Views 0  abstracts
Downloads 1  downloads
Portugal Views 1  abstracts
Downloads 1  downloads
Romania Views 0  abstracts
Downloads 1  downloads
United Kingdom Views 0  abstracts
Downloads 1  downloads


E-Collection record created: Thu, 05 Jan 2012, 05:51:13 CET