It all began with one lemonade stand in a little girl’s front yard. At just four years old, Alexandra (Alex) Scott decided to ...

Transaction Level Modeling (TLM), first introduced in [6], is now widely accepted as an efficient technique for abstract modeling of communication and, according to recent research [7], computation.