Buchumschlag

JoinActors: A Modular Library for Actors with Join Patterns

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hussein, Ayman, Haller, Philipp, Karras, Ioannis, Melgratti, Hernán, Scalas, Alceste, Tuosto, Emilio
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
von: Furbach, Florian, et al.
Veröffentlicht: (2026)

Behavioural Types for Heterogeneous Systems (Position Paper)
von: Fowler, Simon, et al.
Veröffentlicht: (2024)

Encoding Petri Nets into CCS (Technical Report)
von: Bogø, Benjamin, et al.
Veröffentlicht: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
von: Burlò, Christian Bartolo, et al.
Veröffentlicht: (2024)

Optimizations and extensions for fair join pattern matching
von: Karras, Ioannis
Veröffentlicht: (2025)

NEST: Network Enforced Session Types (Technical Report)
von: Larsen, Jens Kanstrup, et al.
Veröffentlicht: (2026)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
von: Selabi, Elvis Konjoh, et al.
Veröffentlicht: (2026)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2024)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
von: Grabmayer, Clemens, et al.
Veröffentlicht: (2025)

On the Duality of Task and Actor Programming Models
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2026)

Actor Capabilities for Message Ordering (Extended Version)
von: Gordon, Colin S.
Veröffentlicht: (2025)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
von: Huang, Tinglin, et al.
Veröffentlicht: (2026)

They Join Hands to Revolutionize Education
Veröffentlicht: (1969)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
von: Hummelgren, Lars, et al.
Veröffentlicht: (2022)

Public Library Joins Technical Institute
von: Tompkins, Ernest W.
Veröffentlicht: (1976)

MLIR-Forge: A Modular Framework for Language Smiths
von: Ates, Berke, et al.
Veröffentlicht: (2026)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
von: Guerreiro, Miguel de Oliveira
Veröffentlicht: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Actors and Networks in the Megacity
von: More, Prachi
Veröffentlicht: (2020)

From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
von: Briot, Jean-Pierre
Veröffentlicht: (2021)

Responsibility in Actor-Based Systems
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Actor Identification in Discourse: A Challenge for LLMs?
von: Barić, Ana, et al.
Veröffentlicht: (2024)

FAME: Fictional Actors for Multilingual Erasure
von: Savelli, Claudio, et al.
Veröffentlicht: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
von: Saravanos, Antonios, et al.
Veröffentlicht: (2026)

Alliance for Information: Michigan Librarians and Library Faculty Join Forces for the Future.
von: Dimitroff, Alexandra, et al.
Veröffentlicht: (1990)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

HyperJoin: LLM-augmented Hypergraph Link Prediction for Joinable Table Discovery
von: Liu, Shiyuan, et al.
Veröffentlicht: (2026)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Modular Probabilistic Models via Algebraic Effects
von: Nguyen, Minh, et al.
Veröffentlicht: (2022)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
von: Yao, Peisen, et al.
Veröffentlicht: (2026)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

ReviewerToo: Should AI Join The Program Committee? A Look At The Future of Peer Review
von: Sahu, Gaurav, et al.
Veröffentlicht: (2025)

ActorDB: A Unified Database Model Integrating Single-Writer Actors, Incremental View Maintenance, and Zero-Trust Messaging
von: Kawasaki, Jun
Veröffentlicht: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2026)

The Algebra of Patterns (Extended Version)
von: Binder, David, et al.
Veröffentlicht: (2025)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
von: Fiore, Marcelo P., et al.
Veröffentlicht: (2025)