STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Tue 9 Jul 2024 13:30 - 14:00 at Waaier 3 - GCM Session 2 Chair(s): Dominik Grzelak

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
GCM Session 2GCM at Waaier 3
Chair(s): Dominik Grzelak Technische Universität Dresden
13:30
30m
Research paper
An Encoding of Interaction Nets in OCaml
GCM
Nikolaus Huber , Wang Yi Uppsala University, Sweden
Pre-print
14:00
30m
Research paper
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
GCM
Ebtihal Althubiti , Michele Sevegnani University of Glasgow
Pre-print
14:30
30m
Research paper
Modelling Real-time Systems with Bigraphs
GCM
Maram Albalwe , Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
Pre-print