University of Cambridge

Logic
&
Semantics

Concurrency and control

By Vincent Danos (PPS, Université Paris VII)

A communication model is constructed where hosts exert control on agents. Various forms of control are discussed.