Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.

Pierre Wolper

Browse the full POPL paper archive.