References
John-Jules Meyer
with Broersen Jan, Mastop Rosja, Turrini Paolo (2009). Determining the environment: a modal logic for closed interaction. Synthese, 169 (2), 351-369. https://doi.org/10.1007/s11229-009-9550-8.
with Hommersom Arjen, De Vink Erik (2004). Update semantics of security protocols. Synthese, 142 (2), 229-267. https://doi.org/10.1007/s11229-004-2247-0.