Výsledky vyhľadávania - Theory of computation Models of computation Concurrency Process calculi

A static verification framework for message passing in Go using behavioural types Autor 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…”
Získať plný text

Compositional verification of self-adaptive cyber-physical systems Autor 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…”
Získať plný text

Less is more: multiparty session types revisited Autor 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…”
Získať plný 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 Autor 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…”
Získať plný 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 Autor 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…”
Získať plný 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 Autor Goubault-Larrecq, Jean, König, Barbara

“…; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory…”
Získať plný text

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

“…We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic…”
Získať plný text

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side Autor 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…”
Získať plný 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…”
Získať plný text

Bisimulation as path type for guarded recursive types Autor 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…”
Získať plný text

Intersection types and runtime errors in the pi-calculus Autor 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…”
Získať plný text

A distributed operational view of Reversible Prime Event Structures Autor 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…”
Získať plný text

Familial monads and structural operational semantics Autor 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…”
Získať plný text

Linear logical relations and observational equivalences for session-based concurrency Autor 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…”
Získať plný text

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

“… This paper presents a model of session-based concurrency with mechanisms for run-time adaptation…”
Získať plný text

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

“… of its participating processes. A choreography can be expressed as a λ-term parameterized by constructors for creating data…”
Získať plný text

Revisiting causality, coalgebraically Autor 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…”
Získať plný text

Categorical combinatorics of scheduling and synchronization in game semantics Autor 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…”
Získať plný 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 Autor 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…”
Získať plný text

Formal modelling and verification of GALS systems using GRL and CADP Autor 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…”
Získať plný text