Revisiting Safe Realizability of Message Sequence Charts Specifications

Abdolmajid Mousavi, Behrouz H. Far. Revisiting Safe Realizability of Message Sequence Charts Specifications. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. pages 37-45, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.