Required Behavior of Sequence Diagrams: Semantics and Refinement.

Lunjin Lu, Dae-Kyoo Kim

Browse the full ICECCS paper archive.