Sciweavers

ACSD
2001
IEEE
118views Hardware» more  ACSD 2001»
13 years 7 months ago
Correct Performance of Transaction Capabilities
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 allo...
Thomas Arts, Izak van Langevelde