Copertina

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peters, Kirstin, Gheri, Lorenzo
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Costa, Diana, et al.
Pubblicazione: (2024)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Derakhshan, Farzaneh, et al.
Pubblicazione: (2025)

Hybrid Multiparty Session Types -- Full Version
di: Gheri, Lorenzo, et al.
Pubblicazione: (2023)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
di: Bohrer, Rose
Pubblicazione: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
di: Verbitskaia, Ekaterina, et al.
Pubblicazione: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

Proceedings 16th International Workshop on Graph Computation Models
di: Lambers, Leen, et al.
Pubblicazione: (2026)

Synchronisability in Mailbox Communication
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
di: De Angelis, Emanuele, et al.
Pubblicazione: (2025)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
di: Nerode, Anil, et al.
Pubblicazione: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Reduction for Structured Concurrent Programs
di: Gangamreddypalli, Namratha, et al.
Pubblicazione: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
di: Vidal, Germán
Pubblicazione: (2023)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
di: Endrullis, Jörg, et al.
Pubblicazione: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
di: Lang, Frédéric, et al.
Pubblicazione: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
di: Fedchin, Aleksandr, et al.
Pubblicazione: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Proceedings 9th edition of Working Formal Methods Symposium
di: Arusoaie, Andrei, et al.
Pubblicazione: (2025)

Conversational Concurrency with Dataspaces and Facets
di: Caldwell, Sam, et al.
Pubblicazione: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
di: Yang, Xiaoxiao, et al.
Pubblicazione: (2017)

A Brief Survey of Formal Models of Concurrency
di: Averill, Charles
Pubblicazione: (2024)

Towards General-Purpose Data Discovery: A Programming Languages Approach
di: Kang, Andrew, et al.
Pubblicazione: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
di: Haas, Julian, et al.
Pubblicazione: (2023)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
di: Beheshti, Amin
Pubblicazione: (2024)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
di: Galasso-Carbonnel, Jessie, et al.
Pubblicazione: (2023)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
di: Enea, Constantin, et al.
Pubblicazione: (2023)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
di: Caltais, Georgiana, et al.
Pubblicazione: (2024)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
di: Shapiro, Ehud
Pubblicazione: (2025)