1. Session-based concurrency: between operational and declarative views

    Cano Grijalba, M., 2020, [Groningen]: University of Groningen. 400 p.

    Research output: ThesisThesis fully internal (DIV)Academic

  2. Session-Based Concurrency, Reactively

    Cano Grijalba, M., Arias, J. & Perez Parra, J. A., 2017, Proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects,Components, and Systems (FORTE 2017): FORTE 2017: Formal Techniques for Distributed Objects, Components, and Systems. Springer Verlag, p. 74-91 18 p. (Lecture Notes in Computer Science ; vol. 10321).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

View all (2) »

ID: 23372574