Search Results - Theory of computation Models of computation Concurrency Process calculi

A static verification framework for message passing in Go using behavioural types by Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

“… Go's concurrency primitives, inspired by process calculi such as CCS and CSP, feature channel-based communication and lightweight threads, providing a distinct means of structuring concurrent software…”
Get full text

Compositional verification of self-adaptive cyber-physical systems by Borda, Aimee, Pasquale, Liliana, Koutavas, Vasileios, Nuseibeh, Bashar

“… In this paper we propose a novel language, Adaptive CSP, to model self-adaptive CPSs modularly and provide a technique to support compositional verification of such systems…”
Get full text

Less is more: multiparty session types revisited by Scalas, Alceste, Yoshida, Nobuko

“…Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a multiparty session protocol, without errors…”
Get full text

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings by FOSSACS, Bouyer, Patricia, Schröder, Lutz, European Conferences on Theory and Practice of Software

“…, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022…”
Get full text

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by FOSSACS, Kiefer, Stefan, Tasson, Christine, European Conferences on Theory and Practice of Software

“… until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“…; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory…”
Get full text

Better late than never: a fully-abstract semantics for classical processes by Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

“…We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic…”
Get full text

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side by Castellan, Simon, Yoshida, Nobuko

“…-calculus processes model programs. Giving faithful models of the π-calculus and giving a precise description of strategies as a programming language are two difficult problems…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory…”
Get full text

Bisimulation as path type for guarded recursive types by Møgelberg, Rasmus Ejlers, Veltri, Niccolò

“…In type theory, coinductive types are used to represent processes, and are thus crucial for the formal verification of non-terminating reactive programs in proof assistants based on type theory, such as Coq and Agda…”
Get full text

Intersection types and runtime errors in the pi-calculus by Dal Lago, Ugo, de Visme, Marc, Mazza, Damiano, Yoshimizu, Akira

“…We introduce a type system for the π-calculus which is designed to guarantee that typable processes are well-behaved, namely they never produce a run-time error…”
Get full text

A distributed operational view of Reversible Prime Event Structures by Melgratti, Hernan, Mezzina, Claudio Antares, Michele Pinna, G.

“… Since their introduction, event structures have played a pivotal role in connecting operational models (traditionally, Petri nets and process calculi…”
Get full text

Familial monads and structural operational semantics by Hirschowitz, Tom

“…We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then…”
Get full text

Linear logical relations and observational equivalences for session-based concurrency by Pérez, Jorge A., Caires, Luís, Pfenning, Frank, Toninho, Bernardo

“…We investigate strong normalization, confluence, and behavioral equality in the realm of session-based concurrency…”
Get full text

Event-based run-time adaptation in communication-centric systems by Di Giusto, Cinzia, Pérez, Jorge A.

“… This paper presents a model of session-based concurrency with mechanisms for run-time adaptation…”
Get full text

Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) by Plyukhin, Dan, Qin, Xueying, Montesi, Fabrizio

“… of its participating processes. A choreography can be expressed as a λ-term parameterized by constructors for creating data…”
Get full text

Revisiting causality, coalgebraically by Bruni, Roberto, Montanari, Ugo, Sammartino, Matteo

“…In this paper we recast the classical Darondeau–Degano’s causal semantics of concurrency in a coalgebraic setting, where we derive a compact model…”
Get full text

Categorical combinatorics of scheduling and synchronization in game semantics by Mellies, Paul-André

“…Game semantics is the art of interpreting types as games and programs as strategies interacting in space and time with their environment. In order to reflect…”
Get full text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“… Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic…”
Get full text

Formal modelling and verification of GALS systems using GRL and CADP by Jebali, Fatma, Lang, Frédéric, Mateescu, Radu

“… GRL combines the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model underlying process algebras…”
Get full text