In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the ...

Get official tickets to Pirates! The Penzance Musical on Broadway at the Todd Haimes Theatre from the trusted Broadway.com source for Broadway show info, tickets, reviews and news.

Get official tickets to The Outsiders on Broadway at the Bernard B. Jacobs Theatre from the trusted Broadway.com source for Broadway show info, tickets, reviews and news.