Research output per year
Research output per year
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics |
Editors | Georgiana Caltais, Cinzia Di Giusto |
Publisher | Open Publishing Association |
Pages | 35-50 |
Number of pages | 16 |
DOIs | |
Publication status | Published - 20 Nov 2024 |
Event | Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics - Calgary, Canada Duration: 9 Sept 2024 → 9 Sept 2024 Conference number: 31/21 https://express-sos.github.io/ |
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
Volume | 412 |
ISSN (Electronic) | 2075-2180 |
Workshop | Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics |
---|---|
Abbreviated title | EXPRESS/SOS 2024 |
Country/Territory | Canada |
City | Calgary |
Period | 9/09/24 → 9/09/24 |
Internet address |
Research output: Contribution to specialist publication › Article