Partial order semantics for use case and task models

Daniel Sinnig, Ferhat Khendek, Patrice Chalin. Partial order semantics for use case and task models. Formal Asp. Comput., 23(3):307-332, 2011. [doi]

Abstract

Abstract is missing.