Cover Image

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Todoran, Eneia Nicolae, Ciobanu, Gabriel
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Distributed, Parallel, and Cluster Computing Multiagent Systems F.3.2; D.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, et al.
Published: (2025)

Fair Termination of Asynchronous Binary Sessions
by: Padovani, Luca, et al.
Published: (2025)

Send: Objects, History, and Transactions in a Single-Verb Kernel
by: Goes, Christopher
Published: (2026)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
by: Du, Ke, et al.
Published: (2026)

Space-Fluid Adaptive Sampling by Self-Organisation
by: Casadei, Roberto, et al.
Published: (2022)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
by: Colonnelli, Iacopo, et al.
Published: (2024)

Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
by: Gallone, Anna, et al.
Published: (2025)

DNA sequence alignment: An assignment for OpenMP, MPI, and CUDA/OpenCL
by: Gonzalez-Escribano, Arturo, et al.
Published: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)

Stream parallel skeleton optimization
by: Aldinucci, Marco, et al.
Published: (2024)

StreamFlow: cross-breeding cloud with HPC
by: Colonnelli, Iacopo, et al.
Published: (2020)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

Programming Distributed Collective Processes in the eXchange Calculus
by: Audrito, Giorgio, et al.
Published: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Explicit Weakening
by: Wadler, Philip
Published: (2024)

Sequence-Based Abstract Interpretation of Prolog
by: Charlier, Baudouin Le, et al.
Published: (2000)

Extending Data Spatial Semantics for Scale Agnostic Programming
by: Mars, Jason
Published: (2025)

Distributed Set-membership Filtering Frameworks For Multi-agent Systems With Absolute and Relative Measurements
by: Ding, Yu, et al.
Published: (2023)

Aegis: Taxonomy and Optimizations for Overcoming Agent-Environment Failures in LLM Agents
by: Song, Kevin, et al.
Published: (2025)

Agentic Fog: A Policy-driven Framework for Distributed Intelligence in Fog Computing
by: Akbar, Saeed, et al.
Published: (2026)

Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
by: García, Fernando Paredes
Published: (2026)

When Computing follows Vehicles: Decentralized Mobility-Aware Resource Allocation for Edge-to-Cloud Continuum
by: Nezami, Zeinab, et al.
Published: (2024)

When Agents Control Robots: A Zero Trust Policy Model for Agentic Cyber-Physical Systems
by: Ranathunga, Tharindu, et al.
Published: (2026)

Software-Defined Agentic Serving
by: Agarwal, Saurabh, et al.
Published: (2026)

DejaVu: A Minimalistic Mechanism for Distributed Plurality Consensus
by: d'Amore, Francesco, et al.
Published: (2026)

Empowering Scientific Workflows with Federated Agents
by: Kamatar, Alok, et al.
Published: (2025)

On the Limits of Information Spread by Memory-less Agents
by: D'Archivio, Niccolò, et al.
Published: (2024)

Perpetual exploration in anonymous synchronous networks with a Byzantine black hole
by: Bhattacharya, Adri, et al.
Published: (2025)

Near-linear Time Dispersion of Mobile Agents
by: Sudo, Yuichi, et al.
Published: (2023)

Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
by: Berthier, Raphaël, et al.
Published: (2022)

Nalar: An agent serving framework
by: Laju, Marco, et al.
Published: (2026)

On the $h$-majority dynamics with many opinions
by: d'Amore, Francesco, et al.
Published: (2025)

UFO3: Weaving the Digital Agent Galaxy
by: Zhang, Chaoyun, et al.
Published: (2025)

On a Voter Model with Context-Dependent Opinion Adoption
by: Becchetti, Luca, et al.
Published: (2023)

When Coordination Is Avoidable: A Monotonicity Analysis of Organizational Tasks
by: Ju, Harang
Published: (2026)