Fingerprint

Dive into the research topics where Glynn Winskel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • The mays and musts of concurrent strategies

    Castellan, S., Clairambault, P. & Winskel, G., 2 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham, Switzerland: Springer, p. 327-361 35 p. (Outstanding Contributions to Logic; vol. 25).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Making concurrency functional

    Winskel, G., 14 Jul 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Proceedings. Walukiewicz, I. (ed.). Piscataway, NJ: IEEE, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    44 Downloads (Pure)