Publications & Reports

Kangfeng Ye, Simon Foster, and Jim Woodcock.

In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020

Wilmer Ricciotti and James Cheney.

5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020

Alastair F. Donaldson, Hugues Evrard, and Paul Thomson.

34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall.

In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470.  2020

Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida.

In: Bliudze, S., Bocchi, L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134. 2020