On the public citation graph

Behavioral Types in Programming Languages

https://doi.org/10.1561/2500000031
0 signed · 252 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/9780470058411openalex-snapshot
Developing Multi‐Agent Systems with JADE
inferredcites →https://doi.org/10.1002/9780470061848openalex-snapshot
Programming Multi-Agent Systems in AgentSpeak usingJason
inferredcites →https://doi.org/10.1007/11575863_70openalex-snapshot
From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL
inferredcites →https://doi.org/10.1007/11580850_16openalex-snapshot
A Distributed Object-Oriented Language with Session Types
inferredcites →https://doi.org/10.1007/11737414_1openalex-snapshot
Parallel Programming and Parallel Abstractions in Fortress
inferredcites →https://doi.org/10.1007/11785477_20openalex-snapshot
Session Types for Object-Oriented Languages
inferredcites →https://doi.org/10.1007/3-540-44631-1_7openalex-snapshot
Developing Multi-agent Systems with JADE
inferredcites →https://doi.org/10.1007/3-540-44898-5_4openalex-snapshot
Checking Interference with Fractional Permissions
inferredcites →https://doi.org/10.1007/3540608052_77openalex-snapshot
Evaluation of KQML as an agent communication language
inferredcites →https://doi.org/10.1007/978-1-4614-7518-7_4openalex-snapshot
Service-Oriented Programming with Jolie
inferredcites →https://doi.org/10.1007/978-3-540-24836-1_5openalex-snapshot
An Implementation of Session Types
inferredcites →https://doi.org/10.1007/978-3-540-24851-4_21openalex-snapshot
Typestates for Objects
inferredcites →https://doi.org/10.1007/978-3-540-27813-9_19openalex-snapshot
Stuck-Free Conformance
inferredcites →https://doi.org/10.1007/978-3-540-68679-8_41openalex-snapshot
Session and Union Types for Object Oriented Programming
inferredcites →https://doi.org/10.1007/978-3-540-70592-5_22openalex-snapshot
Session-Based Distributed Programming in Java
inferredcites →https://doi.org/10.1007/978-3-540-72952-5_1openalex-snapshot
Asynchronous Session Types and Progress for Object Oriented Languages
inferredcites →https://doi.org/10.1007/978-3-540-73589-2_2openalex-snapshot
Gradual Typing for Objects
inferredcites →https://doi.org/10.1007/978-3-540-74792-5_10openalex-snapshot
Bounded Session Types for Object Oriented Languages
inferredcites →https://doi.org/10.1007/978-3-540-77351-1_4openalex-snapshot
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
inferredcites →https://doi.org/10.1007/978-3-540-78663-4_19openalex-snapshot
A Protocol Compiler for Secure Sessions in ML
inferredcites →https://doi.org/10.1007/978-3-540-85361-9_33openalex-snapshot
Global Progress in Dynamically Interleaved Multiparty Sessions
inferredcites →https://doi.org/10.1007/978-3-642-01364-5_3openalex-snapshot
Contract Compliance and Choreography Conformance in the Presence of Message Queues
inferredcites →https://doi.org/10.1007/978-3-642-01918-0_6openalex-snapshot
Contract-Based Discovery and Adaptation of Web Services
inferredcites →https://doi.org/10.1007/978-3-642-03359-9_2openalex-snapshot
VCC: A Practical System for Verifying Concurrent C
inferredcites →https://doi.org/10.1007/978-3-642-10672-9_15openalex-snapshot
Proving Copyless Message Passing
inferredcites →https://doi.org/10.1007/978-3-642-12002-2_23openalex-snapshot
Tracking Heaps That Hop with Heap-Hop
inferredcites →https://doi.org/10.1007/978-3-642-14107-2_16openalex-snapshot
Type-Safe Eventful Sessions in Java
inferredcites →https://doi.org/10.1007/978-3-642-15375-4_16openalex-snapshot
Session Types as Intuitionistic Linear Propositions
inferredcites →https://doi.org/10.1007/978-3-642-19056-8_4openalex-snapshot
Scribbling Interactions with a Formal Foundation
inferredcites →https://doi.org/10.1007/978-3-642-19718-5_4openalex-snapshot
Typing Copyless Message Passing
inferredcites →https://doi.org/10.1007/978-3-642-20401-2_13openalex-snapshot
Advanced Mechanisms for Service Composition, Query and Discovery
inferredcites →https://doi.org/10.1007/978-3-642-21464-6_8openalex-snapshot
Safe Parallel Programming with Session Java
inferredcites →https://doi.org/10.1007/978-3-642-28869-2_10openalex-snapshot
Multiparty Session Types Meet Communicating Automata
inferredcites →https://doi.org/10.1007/978-3-642-30065-3_2openalex-snapshot
Asynchronous Distributed Monitoring for Multiparty Session Enforcement
inferredcites →https://doi.org/10.1007/978-3-642-30561-0_15openalex-snapshot
Multiparty Session C: Safe Parallel Programming with Message Optimisation
inferredcites →https://doi.org/10.1007/978-3-642-32940-1_20openalex-snapshot
Nested Protocols in Session Types
inferredcites →https://doi.org/10.1007/978-3-642-33518-1_37openalex-snapshot
Verification of MPI Programs Using Session Types
inferredcites →https://doi.org/10.1007/978-3-642-36946-9_10openalex-snapshot
Fractional Permissions
inferredcites →https://doi.org/10.1007/978-3-642-37036-6_20openalex-snapshot
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
inferredcites →https://doi.org/10.1007/978-3-642-37890-4_5openalex-snapshot
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
inferredcites →https://doi.org/10.1007/978-3-642-38592-6_5openalex-snapshot
Monitoring Networks through Multiparty Session Types
inferredcites →https://doi.org/10.1007/978-3-642-38592-6_7openalex-snapshot
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
inferredcites →https://doi.org/10.1007/978-3-642-39212-2_18openalex-snapshot
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
inferredcites →https://doi.org/10.1007/978-3-642-40184-8_30openalex-snapshot
Compositional Choreographies
inferredcites →https://doi.org/10.1007/978-3-642-40787-1_25openalex-snapshot
SPY: Local Verification of Global Protocols
inferredcites →https://doi.org/10.1007/978-3-662-43376-8_9openalex-snapshot
Multiparty Session Actors
inferredcites →https://doi.org/10.1007/978-3-662-44471-9_5openalex-snapshot
Structuring Communication with Session Types
inferredcites →https://doi.org/10.1007/978-3-662-44584-6_29openalex-snapshot
Timed Multiparty Session Types
inferredcites →https://doi.org/10.1007/978-3-662-44584-6_5openalex-snapshot
Choreographies, Logically
inferredcites →https://doi.org/10.1007/978-3-662-45917-1_8openalex-snapshot
Multiparty Session Nets
inferredcites →https://doi.org/10.1007/978-3-662-46663-6_11openalex-snapshot
Protocols by Default
inferredcites →https://doi.org/10.1007/978-3-662-49665-7_24openalex-snapshot
Hybrid Session Verification Through Endpoint API Generation
inferredcites →https://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferredcites →https://doi.org/10.1007/bfb0036936openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1007/s00446-017-0295-1openalex-snapshot
Choreographies, logically
inferredcites →https://doi.org/10.1007/s10703-014-0218-8openalex-snapshot
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
inferredcites →https://doi.org/10.1007/s11761-014-0172-8openalex-snapshot
Pabble: parameterised Scribble
inferredcites →https://doi.org/10.1007/springerreference_66106openalex-snapshot
Web Services Business Process Execution Language
inferredcites →https://doi.org/10.1016/0167-8191(96)00024-5openalex-snapshot
A high-performance, portable implementation of the MPI message passing interface standard
inferredcites →https://doi.org/10.1016/0304-3975(84)90113-0openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/j.entcs.2007.02.056openalex-snapshot
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
inferredcites →https://doi.org/10.1016/j.ic.2006.06.002openalex-snapshot
Fair testing
inferredcites →https://doi.org/10.1016/j.ic.2008.03.028openalex-snapshot
Objects and session types
inferredcites →https://doi.org/10.1016/j.scico.2013.05.001openalex-snapshot
Exception handling for copyless messaging
inferredcites →https://doi.org/10.1016/j.tcs.2006.06.028openalex-snapshot
Type checking a multithreaded functional language with session types
inferredcites →https://doi.org/10.1016/j.tcs.2008.09.016openalex-snapshot
Amalgamating sessions and methods in object-oriented languages with generics
inferredcites →https://doi.org/10.1016/j.tcs.2010.05.002openalex-snapshot
Contract-based discovery of Web services modulo simple orchestrators
inferredcites →https://doi.org/10.1016/j.tcs.2017.02.009openalex-snapshot
Monitoring networks through multiparty session types
inferredcites →https://doi.org/10.1017/s0956796809990268openalex-snapshot
Linear type theory for asynchronous session types
inferredcites →https://doi.org/10.1017/s0960129508006944openalex-snapshot
Bounded polymorphism in session types
inferredcites →https://doi.org/10.1017/s0960129512000886openalex-snapshot
Deriving session and union types for objects
inferredcites →https://doi.org/10.1023/a:1010090405266openalex-snapshot
A Roadmap of Agent Research and Development
inferredcites →https://doi.org/10.1093/acprof:oso/9780198245537.001.0001openalex-snapshot
How To Do Things With Words
inferredcites →https://doi.org/10.1109/csf.2009.26openalex-snapshot
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
inferredcites →https://doi.org/10.1109/ecows.2007.19openalex-snapshot
Composing Services with JOLIE
inferredcites →https://doi.org/10.1109/ecows.2007.7openalex-snapshot
Matching Strictly Dependent Global Constraints for Composite Web Services
inferredcites →https://doi.org/10.1109/mic.2007.134openalex-snapshot
SAWSDL: Semantic Annotations for WSDL and XML Schema
inferredcites →https://doi.org/10.1109/pact.2005.34openalex-snapshot
Parallel programming and parallel abstractions in Fortress
inferredcites →https://doi.org/10.1109/sefm.2008.11openalex-snapshot
Bridging the Gap between Interaction- and Process-Oriented Choreographies
inferredcites →https://doi.org/10.1109/tse.1986.6312929openalex-snapshot
Typestate: A programming language concept for enhancing software reliability
inferredcites →https://doi.org/10.1145/1094811.1094852openalex-snapshot
X10
inferredcites →https://doi.org/10.1145/1217935.1217953openalex-snapshot
Language support for fast and reliable message-based communication in singularity OS
inferredcites →https://doi.org/10.1145/1242572.1242704openalex-snapshot
Towards the theoretical foundation of choreography
inferredcites →https://doi.org/10.1145/1297027.1297050openalex-snapshot
Modular typestate checking of aliased objects
inferredcites →https://doi.org/10.1145/1328438.1328471openalex-snapshot
A theory of contracts for web services
inferredcites →https://doi.org/10.1145/1328438.1328472openalex-snapshot
Multiparty asynchronous session types
inferredcites →https://doi.org/10.1145/1411286.1411290openalex-snapshot
Haskell session types with (almost) no class
inferredcites →https://doi.org/10.1145/1449764.1449783openalex-snapshot
Verifying correct usage of atomic blocks and typestate
inferredcites →https://doi.org/10.1145/1449955.1449783openalex-snapshot
Verifying correct usage of atomic blocks and typestate
inferredcites →https://doi.org/10.1145/1538917.1538920openalex-snapshot
A theory of contracts for Web services
inferredcites →https://doi.org/10.1145/1543134.1411290openalex-snapshot
Haskell session types with (almost) no class
inferredcites →https://doi.org/10.1145/1572272.1572275openalex-snapshot
Analyzing singularity channel contracts
inferredcites →https://doi.org/10.1145/1639950.1640073openalex-snapshot
Typestate-oriented programming
inferredcites →https://doi.org/10.1145/1925844.1926435openalex-snapshot
Dynamic multirole session types
inferredcites →https://doi.org/10.1145/1926385.1926435openalex-snapshot
Dynamic multirole session types
inferredcites →https://doi.org/10.1145/2048066.2048122openalex-snapshot
First-class state change in plaid
inferredcites →https://doi.org/10.1145/2048147.2048166openalex-snapshot
Changing state in the plaid language
inferredcites →https://doi.org/10.1145/2220365.2220367openalex-snapshot
Structured Communication-Centered Programming for Web Services
inferredcites →https://doi.org/10.1145/2370776.2370794openalex-snapshot
Session types revisited
inferredcites →https://doi.org/10.1145/2370776.2370796openalex-snapshot
Exception handling for copyless messaging
inferredcites →https://doi.org/10.1145/2429069.2429101openalex-snapshot
Deadlock-freedom-by-design
inferredcites →https://doi.org/10.1145/2480362.2480507openalex-snapshot
Process-aware web programming with Jolie
inferredcites →https://doi.org/10.1145/2480362.2480620openalex-snapshot
Constrained global types for dynamic checking of protocol conformance in multi-agent systems
inferredcites →https://doi.org/10.1145/2629609openalex-snapshot
Foundations of Typestate-Oriented Programming
inferredcites →https://doi.org/10.1145/2676726.2676964openalex-snapshot
From Communicating Machines to Graphical Choreographies
inferredcites →https://doi.org/10.1145/2814270.2814287openalex-snapshot
The chemical approach to typestate-oriented programming
inferredcites →https://doi.org/10.1145/2814270.2814302openalex-snapshot
Protocol-based verification of message-passing parallel programs
inferredcites →https://doi.org/10.1145/2858965.2814287openalex-snapshot
The chemical approach to typestate-oriented programming
inferredcites →https://doi.org/10.1145/322374.322380openalex-snapshot
On Communicating Finite-State Machines
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/512529.512532openalex-snapshot
Adoption and focus
inferredcites →https://doi.org/10.1177/1094342007078442openalex-snapshot
Parallel Programmability and the Chapel Language
inferredcites →https://doi.org/10.2168/lmcs-11(2:1)2015openalex-snapshot
Mutually Testing Processes
inferredcites →https://doi.org/10.2168/lmcs-11(4:12)2015openalex-snapshot
Modular session types for objects
inferredcites →https://doi.org/10.2168/lmcs-8(1:17)2012openalex-snapshot
Typing Copyless Message Passing
inferredcites →https://doi.org/10.2168/lmcs-8(1:24)2012openalex-snapshot
On Global Types and Multi-Party Session
inferredcites →https://doi.org/10.2168/lmcs-8(4:6)2012openalex-snapshot
Parameterised Multiparty Session Types
inferredcites →https://doi.org/10.3233/fi-2009-143openalex-snapshot
Dynamic Error Handling in Service Oriented Applications
inferredcites →https://doi.org/10.3233/jcs-2008-0334openalex-snapshot
A secure compiler for session abstractions
inferredcites →https://doi.org/10.4018/978-1-4666-2089-6.ch003openalex-snapshot
Service Discovery and Composition Based on Contracts and Choreographic Descriptions
inferredcites →https://doi.org/10.4204/eptcs.137.9openalex-snapshot
Towards deductive verification of MPI programs against session types
inferredcites →https://doi.org/10.4204/eptcs.69.0openalex-snapshot
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
inferredcites →https://doi.org/10.4204/eptcs.69.1openalex-snapshot
Secure Execution of Distributed Session Programs
inferredcites →https://doi.org/10.4204/eptcs.69.2openalex-snapshot
Channels as Objects in Concurrent Object-Oriented Programming
inferredcites →https://doi.org/10.4204/eptcs.69.6openalex-snapshot
Session Type Inference in Haskell
inferredcites →https://doi.org/10.4230/lipics.concur.2015.283openalex-snapshot
Meeting Deadlines Together
inferredcites →https://doi.org/10.4236/jsea.2012.53026openalex-snapshot
Privacy Protection Framework with Defined Policies for Service-Oriented Architecture
inferredcites →https://doi.org/10.5555/2032497.2032529openalex-snapshot
Gradual typestate

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-22397-7_9openalex-snapshot
No More, No Less
inferred← citeshttps://doi.org/10.1007/978-3-030-30446-1_2openalex-snapshot
Relating Session Types and Behavioural Contracts: The Asynchronous Case
inferred← citeshttps://doi.org/10.1007/978-3-030-31646-4_8openalex-snapshot
A Formal Approach to Microservice Architecture Deployment
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_24openalex-snapshot
Resource Sharing via Capability-Based Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_10openalex-snapshot
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-45190-5_15openalex-snapshot
Discourje: Runtime Verification of Communication Protocols in Clojure
inferred← citeshttps://doi.org/10.1007/978-3-030-50086-3_12openalex-snapshot
Typechecking Java Protocols with [St]Mungo
inferred← citeshttps://doi.org/10.1007/978-3-030-50086-3_13openalex-snapshot
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_1openalex-snapshot
Who Carries the Burden of Modularity?
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_28openalex-snapshot
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project
inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_6openalex-snapshot
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_5openalex-snapshot
Safe Session-Based Asynchronous Coordination in Rust
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_6openalex-snapshot
A Session Subtyping Tool
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_8openalex-snapshot
Java Typestate Checker
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_19openalex-snapshot
Checking Data-Race Freedom of GPU Kernels, Compositionally
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_31openalex-snapshot
A Runtime Environment for Contract Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-34144-1_15openalex-snapshot
Service-Oriented Programming Paradigm
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_25openalex-snapshot
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
inferred← citeshttps://doi.org/10.1007/978-3-031-37709-9_17openalex-snapshot
Complete Multiparty Session Type Projection with Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_11openalex-snapshot
Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_8openalex-snapshot
Multiparty Session Typing, Embedded
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_13openalex-snapshot
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
inferred← citeshttps://doi.org/10.1007/978-3-032-28358-0_6openalex-snapshot
ScalaTropy: Multiparty Coordination with Monadic Communication Primitives
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5openalex-snapshot
Lectures on Runtime Verification. Introductory and Advanced Topics
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_6openalex-snapshot
Runtime Verification for Decentralised and Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-94580-4_5openalex-snapshot
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_13openalex-snapshot
Stateful Behavioral Types for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-662-54458-7_26openalex-snapshot
On the Undecidability of Asynchronous Session Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_7openalex-snapshot
Explicit Connection Actions in Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/s00146-019-00928-5openalex-snapshot
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference
inferred← citeshttps://doi.org/10.1007/s10009-022-00674-yopenalex-snapshot
The Discourje project: run-time verification of communication protocols in Clojure
inferred← citeshttps://doi.org/10.1007/s10270-020-00838-xopenalex-snapshot
Asynchronous session subtyping as communicating automata refinement
inferred← citeshttps://doi.org/10.1007/s10703-023-00415-0openalex-snapshot
Memory access protocols: certified data-race freedom for GPU kernels
inferred← citeshttps://doi.org/10.1007/s10817-023-09665-3openalex-snapshot
A Formal Theory of Choreographic Programming
inferred← citeshttps://doi.org/10.1016/j.ic.2024.105164openalex-snapshot
Mixed choice in session types
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.01.001openalex-snapshot
Multiparty session types, beyond duality
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.06.001openalex-snapshot
A type checking algorithm for concurrent object protocols
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.05.007openalex-snapshot
Probabilistic software product lines
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100527openalex-snapshot
Process calculi as a tool for studying coordination, contracts and session types
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100848openalex-snapshot
A type language for distributed reactive components governed by communication protocols
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.100964openalex-snapshot
Fair termination of multiparty sessions
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101189openalex-snapshot
On sequentiality and well-bracketing in the π-calculus
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110450openalex-snapshot
A survey on the use of access permission-based specifications for program verification
inferred← citeshttps://doi.org/10.1016/j.scico.2018.11.008openalex-snapshot
The early bird catches the worm: First verify, then monitor!
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102610openalex-snapshot
RML: Theory and practice of a domain specific language for runtime verification
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102840openalex-snapshot
A decentralized analysis of multiparty protocols
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102928openalex-snapshot
Deductive verification of active objects with Crowbar
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.07.005openalex-snapshot
A core model for choreographic programming
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.08.005openalex-snapshot
Mixed sessions
inferred← citeshttps://doi.org/10.1017/s0956796816000289openalex-snapshot
A simple library implementation of binary sessions
inferred← citeshttps://doi.org/10.1017/s095679682000026xopenalex-snapshot
Protocol combinators for modeling, testing, and execution of distributed systems
inferred← citeshttps://doi.org/10.1109/cadsm.2019.8779283openalex-snapshot
Set-theoretical FSM Models Activity Subsystem for Cognitive Control Systems
inferred← citeshttps://doi.org/10.1109/dsn-s65789.2025.00056openalex-snapshot
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470559openalex-snapshot
On sequentiality and well-bracketing in the $\pi$-calculus
inferred← citeshttps://doi.org/10.1109/ticps.2025.3556065openalex-snapshot
iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3019612.3019733openalex-snapshot
From object-oriented code with assertions to behavioural types
inferred← citeshttps://doi.org/10.1145/3103111.3104037openalex-snapshot
Parametric Trace Expressions for Runtime Verification of Java-Like Programs
inferred← citeshttps://doi.org/10.1145/3178372.3179495openalex-snapshot
A session type provider: compile-time API generation of distributed protocols with refinements in F#
inferred← citeshttps://doi.org/10.1145/3180155.3180157openalex-snapshot
A static verification framework for message passing in Go using behavioural types
inferred← citeshttps://doi.org/10.1145/3276529openalex-snapshot
Compositional programming and testing of dynamic distributed systems
inferred← citeshttps://doi.org/10.1145/3290342openalex-snapshot
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
inferred← citeshttps://doi.org/10.1145/3290343openalex-snapshot
Less is more: multiparty session types revisited
inferred← citeshttps://doi.org/10.1145/3337932.3338812openalex-snapshot
Effpi
inferred← citeshttps://doi.org/10.1145/3354166.3356340openalex-snapshot
Foundations of Session Types
inferred← citeshttps://doi.org/10.1145/3371136openalex-snapshot
Pointer life cycle types for lock-free data structures with memory reclamation
inferred← citeshttps://doi.org/10.1145/3428202openalex-snapshot
Multiparty motion coordination: from choreographies to robotics programs
inferred← citeshttps://doi.org/10.1145/3428216openalex-snapshot
Statically verified refinements for multiparty protocols
inferred← citeshttps://doi.org/10.1145/3434297openalex-snapshot
Precise subtyping for asynchronous multiparty sessions
inferred← citeshttps://doi.org/10.1145/3446804.3446854openalex-snapshot
Communication-safe web programming in TypeScript with routed multiparty session types
inferred← citeshttps://doi.org/10.1145/3450272openalex-snapshot
Polymorphic Iterable Sequential Effect Systems
inferred← citeshttps://doi.org/10.1145/3457884openalex-snapshot
On Polymorphic Sessions and Functions
inferred← citeshttps://doi.org/10.1145/3468264.3473127openalex-snapshot
Analysis of specifications of multiparty sessions with dcj-lint
inferred← citeshttps://doi.org/10.1145/3475061.3475082openalex-snapshot
Retrofitting Typestates into Rust
inferred← citeshttps://doi.org/10.1145/3485501openalex-snapshot
A multiparty session typing discipline for fault-tolerant event-driven distributed programming
inferred← citeshttps://doi.org/10.1145/3486601.3486708openalex-snapshot
Session types in Elixir
inferred← citeshttps://doi.org/10.1145/3503221.3508404openalex-snapshot
Deadlock-free asynchronous message reordering in rust with multiparty session types
inferred← citeshttps://doi.org/10.1145/3551349.3561167openalex-snapshot
Towards Gradual Multiparty Session Typing
inferred← citeshttps://doi.org/10.1145/3568422openalex-snapshot
Precise Subtyping for Asynchronous Multiparty Sessions
inferred← citeshttps://doi.org/10.1145/3597926.3604926openalex-snapshot
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
inferred← citeshttps://doi.org/10.1145/3607832openalex-snapshot
Special Delivery: Programming with Mailbox Types
inferred← citeshttps://doi.org/10.1145/3607849openalex-snapshot
HasChor: Functional Choreographic Programming for All (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3607854openalex-snapshot
Intrinsically Typed Sessions with Callbacks (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3610612.3610624openalex-snapshot
Polymorphic Typestate for Session Types
inferred← citeshttps://doi.org/10.1145/3632398openalex-snapshot
Choral: Object-oriented Choreographic Programming
inferred← citeshttps://doi.org/10.1145/3648439openalex-snapshot
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
inferred← citeshttps://doi.org/10.1145/3678232.3678239openalex-snapshot
On the Almost-Sure Termination of Binary Sessions
inferred← citeshttps://doi.org/10.1145/3678232.3678245openalex-snapshot
Un-projectable Global Types for Multiparty Sessions
inferred← citeshttps://doi.org/10.1145/3678232.3678252openalex-snapshot
A simple view of multiparty session types
inferred← citeshttps://doi.org/10.1145/3689493.3689980openalex-snapshot
Mocking Temporal Logic
inferred← citeshttps://doi.org/10.1145/3758316.3763252openalex-snapshot
On a Multitier Actor Programming Language
inferred← citeshttps://doi.org/10.1145/3776692openalex-snapshot
A Synthetic Reconstruction of Multiparty Session Types
inferred← citeshttps://doi.org/10.1145/3844503openalex-snapshot
\(\pi\) LL: Reconciling Linear Logic, the \(\pi\) -calculus, and their Metatheory
inferred← citeshttps://doi.org/10.1201/9781003337331-7openalex-snapshot
Programming Adaptive Microservice Applications: An AIOCJ Tutorial*
inferred← citeshttps://doi.org/10.15514/ispras-2019-31(3)-13openalex-snapshot
Overview of the Languages for Safe Smart Contract Programming
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2018/2/15openalex-snapshot
Deadlock-Free Typestate-Oriented Programming
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/4openalex-snapshot
The Design Principles of the Elixir Type System
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/8openalex-snapshot
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
inferred← citeshttps://doi.org/10.23638/lmcs-13(4:25)2017openalex-snapshot
Timed Session Types
inferred← citeshttps://doi.org/10.23638/lmcs-17(1:20)2021openalex-snapshot
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
inferred← citeshttps://doi.org/10.29007/wbw3openalex-snapshot
Keep me out of the loop: a more flexible choreographic projection
inferred← citeshttps://doi.org/10.33612/diss.108552669openalex-snapshot
Session-based concurrency: between operational and declarative views
inferred← citeshttps://doi.org/10.3390/info15010013openalex-snapshot
Dynamic Semiosis: Meaning, Informing, and Conforming in Constructing the Past
inferred← citeshttps://doi.org/10.3390/technologies12080132openalex-snapshot
A Formal Verification Approach for Linux Kernel Designing
inferred← citeshttps://doi.org/10.35925/j.multi.2021.3.2openalex-snapshot
Lego Mindstorms EV3 robotok viselkedés-alapú programozása
inferred← citeshttps://doi.org/10.4204/eptcs.203.3openalex-snapshot
Precise subtyping for synchronous multiparty sessions
inferred← citeshttps://doi.org/10.4204/eptcs.264.4openalex-snapshot
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
inferred← citeshttps://doi.org/10.4204/eptcs.291.2openalex-snapshot
FreeST: Context-free Session Types in a Functional Language
inferred← citeshttps://doi.org/10.4204/eptcs.322.4openalex-snapshot
Can determinism and compositionality coexist in RML?
inferred← citeshttps://doi.org/10.4204/eptcs.365.0.2openalex-snapshot
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
inferred← citeshttps://doi.org/10.4204/eptcs.368.7openalex-snapshot
On the Expressiveness of Mixed Choice Sessions
inferred← citeshttps://doi.org/10.4204/eptcs.414.1openalex-snapshot
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
inferred← citeshttps://doi.org/10.4204/eptcs.414.2openalex-snapshot
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2021.22openalex-snapshot
Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:27)2022openalex-snapshot
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
inferred← citeshttps://doi.org/10.46298/lmcs-20(3:13)2024openalex-snapshot
A Session Type System for Asynchronous Unreliable Broadcast Communication
inferred← citeshttps://doi.org/10.48550/arxiv.1802.02917openalex-snapshot
Classical Higher-Order Processes
inferred← citeshttps://doi.org/10.48550/arxiv.1804.08976openalex-snapshot
Connectors meet Choreographies
inferred← citeshttps://doi.org/10.48550/arxiv.1903.07962openalex-snapshot
No more, no less - A formal model for serverless computing
inferred← citeshttps://doi.org/10.48550/arxiv.1906.03836openalex-snapshot
Minimal Session Types (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2104.12455openalex-snapshot
A Session Subtyping Tool (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2106.11818openalex-snapshot
Linear Logic, the $π$-calculus, and their Metatheory: A Recipe for Proofs as Processes
inferred← citeshttps://doi.org/10.70675/550046f8z21f7z4dc5zae2dz7b3e27aff45eopenalex-snapshot
Analysis of synchronisation patterns in active objects based on behavioural types
inferred← citeshttps://doi.org/10.7717/peerj-cs.1907openalex-snapshot
A model for correlation-based choreographic programming
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.