Suchergebnisse - Theory of computation Models of computation Concurrency Process calculi

A static verification framework for message passing in Go using behavioural types von 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 …”
Volltext

Compositional verification of self-adaptive cyber-physical systems von 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 …”
Volltext

Less is more: multiparty session types revisited von 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 …”
Volltext

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 von 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 …”
Volltext

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 von 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 …”
Volltext

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 von Goubault-Larrecq, Jean, König, Barbara

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

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

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

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side von 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 …”
Volltext

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 …”
Volltext

Bisimulation as path type for guarded recursive types von 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 …”
Volltext

Intersection types and runtime errors in the pi-calculus von 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 …”
Volltext

A distributed operational view of Reversible Prime Event Structures von 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 …”
Volltext

Familial monads and structural operational semantics von 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 …”
Volltext

Linear logical relations and observational equivalences for session-based concurrency von 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 …”
Volltext

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

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

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

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

Revisiting causality, coalgebraically von 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 …”
Volltext

Categorical combinatorics of scheduling and synchronization in game semantics von 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 …”
Volltext

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 von 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 …”
Volltext

Formal modelling and verification of GALS systems using GRL and CADP von 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 …”
Volltext