Bounded Retransmission in Event-B||CSP: a Case Study

Journal article

Open access

Peer reviewed

Electronic Notes in Theoretical Computer Science, Vol.280, pp.69-80

03/12/2011

Abstract

pdf

B11Schneider257.50 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1016/j.entcs.2011.11.019View

Published (Version of record)

133 File views/ downloads

15 Record Views

Title: Bounded Retransmission in Event-B||CSP: a Case Study
Creators: SA Schneider
HE Treharne
H Wehrheim
Publication Details: Electronic Notes in Theoretical Computer Science, Vol.280, pp.69-80
Publisher: Elsevier
Date published: 03/12/2011
Date submitted: 19/08/2012
Identifiers: 99516315202346
Academic Unit: Department of Computer Science
Resource Type: Journal article