A Coupled Operational Semantics for Goals and Commitments

Open in new window