Vaughan Pratt
-
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generic models of the laws of programming
Theories of Programming and Formal Methods
No abstract.