The Way We Were: Structural Operational Semantics Research in Perspective

Luca Aceto; Pierluigi Crescenzi; Anna Ingólfsdóttir; Mohammad Reza Mousavi

doi:10.4204/EPTCS.387.3

The Way We Were: Structural Operational Semantics Research in Perspective

Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	26-40
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	387
DOIs	https://doi.org/10.4204/EPTCS.387.3
Publication status	Published - 14 Sept 2023
Event	Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantic, EXPRESS/SOS 2023 - Antwerp, Belgium Duration: 18 Sept 2023 → …

Access to Document

10.4204/EPTCS.387.3Licence: CC BY

Cite this

@article{9fea49ba0d6f41bab975f01bd3a82460,

title = "The Way We Were: Structural Operational Semantics Research in Perspective",

author = "Luca Aceto and Pierluigi Crescenzi and Anna Ing{\'o}lfsd{\'o}ttir and Mousavi, {Mohammad Reza}",

year = "2023",

month = sep,

day = "14",

doi = "10.4204/EPTCS.387.3",

language = "English",

volume = "387",

pages = "26--40",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantic, EXPRESS/SOS 2023 ; Conference date: 18-09-2023",

}

TY - JOUR

T1 - The Way We Were

T2 - Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantic, EXPRESS/SOS 2023

AU - Aceto, Luca

AU - Crescenzi, Pierluigi

AU - Ingólfsdóttir, Anna

AU - Mousavi, Mohammad Reza

PY - 2023/9/14

Y1 - 2023/9/14

UR - http://www.scopus.com/inward/record.url?scp=85173913947&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.387.3

DO - 10.4204/EPTCS.387.3

M3 - Conference article

AN - SCOPUS:85173913947

SN - 2075-2180

VL - 387

SP - 26

EP - 40

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 18 September 2023

ER -