loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Application of Concurrency to System Design (ACSD'01)
Correct Performance of Transaction Capabilities
Newcastle upon Tyne, UK
June 25-June 29
ISBN: 0-7695-1071-X
ASCII Text
x 
 
Thomas Arts, Izak Van Langevelde, "Correct Performance of Transaction Capabilities," Application of Concurrency to System Design, International Conference on, pp. 35, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2001.981762,
author = {Thomas Arts and Izak Van Langevelde},
title = {Correct Performance of Transaction Capabilities},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1071-X},
pages = {35},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981762},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Correct Performance of Transaction Capabilities
SN - 0-7695-1071-X
SP
EP
A1 - Thomas Arts,
A1 - Izak Van Langevelde,
PY - 2001
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No.7 is formalised as a branching bisimulation which is relaxed to allow certain actions to be executed in any order. It is demonstrated how this correctness can be checked by a combination of an automated test of branching bisimulation and a manual test of commutation. Using this approach, two bugs in the design were found and eliminated.
Citation:
Thomas Arts, Izak Van Langevelde, "Correct Performance of Transaction Capabilities," acsd, pp.35, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.