Repository | People

155766

References

John-Jules Meyer

Determining the environment: a modal logic for closed interaction

2009

with Broersen Jan, Mastop Rosja, Turrini Paolo

Synthese 169/2

Open Access Link
Update semantics of security protocols

2004

with Hommersom Arjen, De Vink Erik

Synthese 142/2

Open Access Link