Under consideration for publication in Formal Aspects of Computing Threaded Behavior Protocols 1