Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1055859
Image document

Psi-Calculi Revisited: Connectivity and Compositionality

Johannes Åman Pohjola
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers hal-02313748v1