Concurrent semantics for the web services specification language daml-s (0)

by A ANKOLEKAR, F HUCH, K P SYCARA
Venue:In Arbab and Talcott [5