A Temporal Logic for the Interaction of Strategies.

Farn Wang, Chung-Hao Huang, Fang Yu

Browse the full CONCUR paper archive.