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

Schneider, SA, Treharne, HE and Wehrheim, H (2011) Bounded Retransmission in Event-B||CSP: a Case Study Electronic Notes in Theoretical Computer Science, 280. pp. 69-80.

Preview	Text B11Schneider.pdf Available under License : See the attached licence file. Download (263kB)
Preview	Text (licence) SRI_deposit_agreement.pdf Download (33kB)

Item Type:	Article
Divisions :	Faculty of Engineering and Physical Sciences > Computer Science
Authors :	Schneider, SA, Treharne, HE and Wehrheim, H
Date :	3 December 2011
DOI :	10.1016/j.entcs.2011.11.019
Additional Information :	NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Electronic Notes in Theoretical Computer Science, 280, December 2011, DOI 10.1016/j.entcs.2011.11.019.
Depositing User :	Symplectic Elements
Date Deposited :	12 Oct 2012 10:00
Last Modified :	06 Jul 2019 05:11
URI:	http://epubs.surrey.ac.uk/id/eprint/721386

Actions (login required)

View Item

Downloads