Preface

Valentina Castiglioni; Ornela Dardha; Claudio Antares Mezzina

doi:10.1016/j.ic.2024.105226

Preface

Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina

Formal System Analysis

Research output: Contribution to journal › Editorial › Academic › peer-review

Abstract

This Special Issue of Information and Computation contains selected papers from two editions (2021 and 2022) of EXPRESS/SOS, the Combined International Workshop on Expressiveness in Concurrency (EXPRESS) and Structural Operational Semantics (SOS), which is held every year in affiliation with CONCUR (the International Conference on Concurrency Theory). The aim of this Special Issue is to highlight the best contributions presented at the two editions of the workshop, in order to make them more accessible to the researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Original language	English
Article number	105226
Number of pages	2
Journal	Information and Computation
Volume	302
DOIs	https://doi.org/10.1016/j.ic.2024.105226
Publication status	Published - Jan 2025

Bibliographical note

Publisher Copyright:
© 2024

Keywords

Concurrent systems
Logic for concurrency
Models of computation
Programming languages
Structural operational semantics

Access to Document

10.1016/j.ic.2024.105226

pdfFinal published version, 137 KBLicence: TAVERNE

Cite this

@article{c8596ee3cafd46819c73e9300bcb8a84,

title = "Preface",

abstract = "This Special Issue of Information and Computation contains selected papers from two editions (2021 and 2022) of EXPRESS/SOS, the Combined International Workshop on Expressiveness in Concurrency (EXPRESS) and Structural Operational Semantics (SOS), which is held every year in affiliation with CONCUR (the International Conference on Concurrency Theory). The aim of this Special Issue is to highlight the best contributions presented at the two editions of the workshop, in order to make them more accessible to the researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.",

keywords = "Concurrent systems, Logic for concurrency, Models of computation, Programming languages, Structural operational semantics",

author = "Valentina Castiglioni and Ornela Dardha and Mezzina, {Claudio Antares}",

note = "Publisher Copyright: {\textcopyright} 2024",

year = "2025",

month = jan,

doi = "10.1016/j.ic.2024.105226",

language = "English",

volume = "302",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

}

TY - JOUR

T1 - Preface

AU - Castiglioni, Valentina

AU - Dardha, Ornela

AU - Mezzina, Claudio Antares

PY - 2025/1

Y1 - 2025/1

N2 - This Special Issue of Information and Computation contains selected papers from two editions (2021 and 2022) of EXPRESS/SOS, the Combined International Workshop on Expressiveness in Concurrency (EXPRESS) and Structural Operational Semantics (SOS), which is held every year in affiliation with CONCUR (the International Conference on Concurrency Theory). The aim of this Special Issue is to highlight the best contributions presented at the two editions of the workshop, in order to make them more accessible to the researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

AB - This Special Issue of Information and Computation contains selected papers from two editions (2021 and 2022) of EXPRESS/SOS, the Combined International Workshop on Expressiveness in Concurrency (EXPRESS) and Structural Operational Semantics (SOS), which is held every year in affiliation with CONCUR (the International Conference on Concurrency Theory). The aim of this Special Issue is to highlight the best contributions presented at the two editions of the workshop, in order to make them more accessible to the researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

KW - Concurrent systems

KW - Logic for concurrency

KW - Models of computation

KW - Programming languages

KW - Structural operational semantics

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

U2 - 10.1016/j.ic.2024.105226

DO - 10.1016/j.ic.2024.105226

M3 - Editorial

AN - SCOPUS:85212131078

SN - 0890-5401

VL - 302

JO - Information and Computation

JF - Information and Computation

M1 - 105226

ER -

Preface

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this