On the public citation graph
Language primitives and type discipline for structured communication-based programming
0 signed · 779 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-49099-x_6openalex-snapshot
Types and Subtypes for Client-Server Interactions
inferredcites →https://doi.org/10.1007/3-540-57208-2_12openalex-snapshot
A pi-calculus semantics for an object-based design notation
inferredcites →https://doi.org/10.1007/3-540-57208-2_36openalex-snapshot
Principal typing schemes in a polyadic π-calculus
inferredcites →https://doi.org/10.1007/3-540-57342-9_89openalex-snapshot
A typing system for a calculus of objects
inferredcites →https://doi.org/10.1007/3-540-58184-7_118openalex-snapshot
An interaction-based language and its typing system
inferredcites →https://doi.org/10.1007/3-540-60218-6_8openalex-snapshot
A polymorphic type system for the polyadic π-calculus
inferredcites →https://doi.org/10.1007/3-540-62034-6_64openalex-snapshot
Graph types for monadic mobile processes
inferredcites →https://doi.org/10.1007/978-3-642-58041-3_6openalex-snapshot
The Polyadic π-Calculus: a Tutorial
inferredcites →https://doi.org/10.1007/978-3-642-61455-2_10openalex-snapshot
Interaction Categories and the Foundations of Typed Concurrent Programming
inferredcites →https://doi.org/10.1007/978-94-009-7893-5_13openalex-snapshot
Fundamental Properties of Infinite Trees
inferredcites →https://doi.org/10.1007/bf00122417openalex-snapshot
Accommodating interference in the formal design of concurrent object-based programs
inferredcites →https://doi.org/10.1007/bf01215408openalex-snapshot
Reasoning about dynamically evolving process structures
inferredcites →https://doi.org/10.1016/0169-7552(94)00016-mopenalex-snapshot
On communicating sequential processes
inferredcites →https://doi.org/10.1016/0304-3975(83)90059-2openalex-snapshot
Fundamental properties of infinite trees
inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(96)00075-8openalex-snapshot
π-Calculus, internal mobility, and agent-passing calculi
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1016/c2009-0-14341-6openalex-snapshot
The Lambda Calculus - Its Syntax and Semantics
inferredcites →https://doi.org/10.1109/lics.1993.287570openalex-snapshot
Typing and subtyping for mobile processes
inferredcites →https://doi.org/10.1145/143165.143200openalex-snapshot
A compilation method for ML-style polymorphic record calculi
inferredcites →https://doi.org/10.1145/158511.158529openalex-snapshot
Semantics for communication primitives in a polymorphic language
inferredcites →https://doi.org/10.1145/174675.174538openalex-snapshot
Higher-order concurrent programs with finite communication topology (extended abstract)
inferredcites →https://doi.org/10.1145/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferredcites →https://doi.org/10.1145/263699.263729openalex-snapshot
Behavioral equivalence in the polymorphic pi-calculus
inferredcites →https://doi.org/10.1145/28697.28722openalex-snapshot
Object-oriented concurrent programming ABCL/1
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot
Operational semantics of a parallel object-oriented language
inferredcites →https://doi.org/10.25405/ncl.34131183openalex-snapshot
Process algebraic foundations for an object-based design notation
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
inferredcites →https://doi.org/10.7551/mitpress/5641.003.0022openalex-snapshot
Pict: A Programming Language Based on the Pi-Calculus
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4529910openalex-extracted
Higher-Order Context-Free Session Types in System F
inferred← citeshttps://doi.org/10.1002/9781119428497.ch7openalex-snapshot
Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance
inferred← citeshttps://doi.org/10.1007/11550679_9openalex-snapshot
A Java Implementation of a Component Model with Explicit Symbolic Protocols
inferred← citeshttps://doi.org/10.1007/11580850_16openalex-snapshot
A Distributed Object-Oriented Language with Session Types
inferred← citeshttps://doi.org/10.1007/11768869_1openalex-snapshot
Security Issues in Service Composition
inferred← citeshttps://doi.org/10.1007/11785477_20openalex-snapshot
Session Types for Object-Oriented Languages
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_14openalex-snapshot
What Are Polymorphically-Typed Ambients?
inferred← citeshttps://doi.org/10.1007/3-540-45413-6_7openalex-snapshot
Sequentiality and the π-Calculus
inferred← citeshttps://doi.org/10.1007/3-540-49099-x_6openalex-snapshot
Types and Subtypes for Client-Server Interactions
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_28openalex-snapshot
Infinite Types for Distributed Object Interfaces
inferred← citeshttps://doi.org/10.1007/978-1-4842-8853-5openalex-snapshot
Architecture of Advanced Numerical Analysis Systems
inferred← citeshttps://doi.org/10.1007/978-1-84628-714-5_32openalex-snapshot
Service Typing in Collaborative Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-02768-1_16openalex-snapshot
Automated Modular Verification for Relaxed Communication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_22openalex-snapshot
Manifest Deadlock-Freedom for Shared Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_23openalex-snapshot
A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-18506-0_2openalex-snapshot
Reversible Session-Based Concurrency in Haskell
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_11openalex-snapshot
Data-Driven Choreographies à la Klaim
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_18openalex-snapshot
Types for Progress in Actor Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_19openalex-snapshot
Event Structure Semantics for Multiparty Sessions
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_6openalex-snapshot
Verifying Asynchronous Interactions via Communicating Session Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-31175-9_7openalex-snapshot
Polymorphic Session Processes as Morphisms
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_22openalex-snapshot
Practical Abstractions for Automated Verification of Message Passing Concurrency
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-36987-3_5openalex-snapshot
A Very Gentle Introduction to Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-39322-9_19openalex-snapshot
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_13openalex-snapshot
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_17openalex-snapshot
EMTST: Engineering the Meta-theory of Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_3openalex-snapshot
Deciding the Bisimilarity of Context-Free Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-50029-0_8openalex-snapshot
Implementing Multiparty Session Types in Rust
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-50316-1_40openalex-snapshot
DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes
inferred← citeshttps://doi.org/10.1007/978-3-030-51417-4_3openalex-snapshot
On Enactability of Agent Interaction Protocols: Towards a Unified Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-59025-3_5openalex-snapshot
Session Types Without Sophistry
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_14openalex-snapshot
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-78089-0_6openalex-snapshot
Prioritise the Best Variation
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_2openalex-snapshot
Manifestly Phased Communication via Shared Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-86593-1_2openalex-snapshot
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-90636-8_3openalex-snapshot
Composable Partial Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-99253-8_18openalex-snapshot
The Different Shades of Infinite Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_19openalex-snapshot
A Predicate Transformer for Choreographies
inferred← citeshttps://doi.org/10.1007/978-3-031-01807-7_3openalex-snapshot
The Next 700 Smart Contract Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_14openalex-snapshot
MAG$$\pi $$: Types for Failure-Prone Communication
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_15openalex-snapshot
System $$F^\mu _\omega $$ with Context-free Session Types
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_1openalex-snapshot
When Programs Have to Watch Paint Dry
inferred← citeshttps://doi.org/10.1007/978-3-031-35361-1_11openalex-snapshot
Rollback Recovery in Session-Based Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-35361-1_5openalex-snapshot
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-45784-5_7openalex-snapshot
A Logical Interpretation of Asynchronous Multiparty Compatibility
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_6openalex-snapshot
Programming Language Implementations with Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-031-57246-3_12openalex-snapshot
Asynchronous Subtyping by Trace Relaxation
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_8openalex-snapshot
Deciding Subtyping for Asynchronous Multiparty Sessions
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_9openalex-snapshot
The Session Abstract Machine
inferred← citeshttps://doi.org/10.1007/978-3-031-62645-6_6openalex-snapshot
MAG$$\pi $$!: The Role of Replication in Typing Failure-Prone Communication
inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_1openalex-snapshot
The VerCors Verifier: A Progress Report
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_20openalex-snapshot
Asynchronous Multiparty Sessions with Internal Delegation
inferred← citeshttps://doi.org/10.1007/978-3-031-76554-4_12openalex-snapshot
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
inferred← citeshttps://doi.org/10.1007/978-3-031-91118-7_14openalex-snapshot
Iso-Recursive Multiparty Sessions and their Automated Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-91118-7_2openalex-snapshot
Formulas as Processes, Deadlock-Freedom as Choreographies
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_6openalex-snapshot
Multiparty Session Types with a Bang!
inferred← citeshttps://doi.org/10.1007/978-3-031-95589-1openalex-snapshot
Coordination Models and Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-99717-4_7openalex-snapshot
Asynchronous Global Protocols, Precisely
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_18openalex-snapshot
Type Congruence, Duality and Iso-Recursive Binary Session Types
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_3openalex-snapshot
Actor Capabilities for Message Ordering
inferred← citeshttps://doi.org/10.1007/978-3-032-11176-0_10openalex-snapshot
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_2openalex-snapshot
Contextual Metaprogramming for Session Types
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_6openalex-snapshot
Recursive Logical Relations for Intuitionistic Linear Logic Session Types
inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_11openalex-snapshot
Practical Refinement Session Type Inference
inferred← citeshttps://doi.org/10.1007/978-3-032-28187-6_9openalex-snapshot
Binary and Two-Party Asynchronous Subtypings are Equivalent
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_2openalex-snapshot
A Concurrent Programming Language with Refined Session Types
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_3openalex-snapshot
Behavioural Types Inspired by Cellular Thresholds
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_7openalex-snapshot
Scalable Session Programming for Heterogeneous High-Performance Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-05119-2_3openalex-snapshot
The Scribble Protocol Language
inferred← citeshttps://doi.org/10.1007/978-3-319-05119-2_9openalex-snapshot
Towards Static Deadlock Resolution in the $$\pi $$ -Calculus
inferred← citeshttps://doi.org/10.1007/978-3-319-12904-4_7openalex-snapshot
Modelling and Verifying Contract-Oriented Systems in Maude
inferred← citeshttps://doi.org/10.1007/978-3-319-18941-3_4openalex-snapshot
A Gentle Introduction to Multiparty Asynchronous Session Types
inferred← citeshttps://doi.org/10.1007/978-3-319-19195-9_1openalex-snapshot
Types for Deadlock-Free Higher-Order Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-19195-9_11openalex-snapshot
Compliance and Subtyping in Timed Session Types
inferred← citeshttps://doi.org/10.1007/978-3-319-25527-9_15openalex-snapshot
Global Protocol Implementations via Attribute-Based Communication
inferred← citeshttps://doi.org/10.1007/978-3-319-25527-9_9openalex-snapshot
Compliance in Behavioural Contracts: A Brief Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-26059-4_19openalex-snapshot
A Formal Dynamic Verification of Choreographed Web Services Conversations
inferred← citeshttps://doi.org/10.1007/978-3-319-27810-0_1openalex-snapshot
Effect Systems Revisited—Control-Flow Algebra and Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-28766-9_2openalex-snapshot
Multiparty Testing Preorders
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_5openalex-snapshot
A Contract-Oriented Middleware
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_12openalex-snapshot
Denotational and Operational Preciseness of Subtyping: A Roadmap
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_15openalex-snapshot
Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_2openalex-snapshot
Conflation Confers Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_23openalex-snapshot
Certifying Data in Multiparty Session Types
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_5openalex-snapshot
Subtyping Supports Safe Session Substitution
inferred← citeshttps://doi.org/10.1007/978-3-319-33612-1_5openalex-snapshot
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-33612-1_9openalex-snapshot
On the Decidability of Honesty and of Its Variants
inferred← citeshttps://doi.org/10.1007/978-3-319-39519-7_15openalex-snapshot
On Sessions and Infinite Data
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_13openalex-snapshot
Enforcing Availability in Failure-Aware Communicating Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_16openalex-snapshot
The Challenge of Typed Expressiveness in Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_17openalex-snapshot
Type-Based Analysis for Session Inference (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_4openalex-snapshot
Developing Honest Java Programs with Diogenes
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_6openalex-snapshot
Multiparty Session Types Within a Canonical Binary Theory, and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-319-39570-8_8openalex-snapshot
Choreographies in Practice
inferred← citeshttps://doi.org/10.1007/978-3-319-40578-0_4openalex-snapshot
Reversing Single Sessions
inferred← citeshttps://doi.org/10.1007/978-3-319-47958-3_6openalex-snapshot
Binary Session Types for Psi-Calculi
inferred← citeshttps://doi.org/10.1007/978-3-319-57666-4_3openalex-snapshot
A Core Model for Choreographic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-59746-1_6openalex-snapshot
Session-ocaml: A Session-Based Library with Polarities and Lenses
inferred← citeshttps://doi.org/10.1007/978-3-319-59746-1_7openalex-snapshot
Retractable and Speculative Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-60225-7_12openalex-snapshot
Classical Higher-Order Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-60225-7_6openalex-snapshot
Session-Based Concurrency, Reactively
inferred← citeshttps://doi.org/10.1007/978-3-319-60225-7_7openalex-snapshot
Procedural Choreographic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-67425-4_12openalex-snapshot
Microservices: Yesterday, Today, and Tomorrow
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-89366-2_5openalex-snapshot
A New Linear Logic for Deadlock-Free Session-Typed Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_7openalex-snapshot
Depending on Session-Typed Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_28openalex-snapshot
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_29openalex-snapshot
On Polymorphic Sessions and Functions
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_2openalex-snapshot
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_3openalex-snapshot
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
inferred← citeshttps://doi.org/10.1007/978-3-319-92612-4_5openalex-snapshot
Relating Process Languages for Security and Communication Correctness (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-319-96142-2_23openalex-snapshot
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
inferred← citeshttps://doi.org/10.1007/978-3-540-24836-1_5openalex-snapshot
An Implementation of Session Types
inferred← citeshttps://doi.org/10.1007/978-3-540-27815-3_8openalex-snapshot
Behavioural Types and Component Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_15openalex-snapshot
Type Based Discretionary Access Control
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_32openalex-snapshot
Session Types for Functional Multithreading
inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_14openalex-snapshot
How to Infer Finite Session Types in a Calculus of Services and Sessions
inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_2openalex-snapshot
Implementing Session Centered Calculi
inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_5openalex-snapshot
Multiparty Sessions in SOC
inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_8openalex-snapshot
Session Types for Orchestration Charts
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_40openalex-snapshot
A Type System for Client Progress in a Service-Oriented Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_41openalex-snapshot
Session and Union Types for Object Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-68863-1_3openalex-snapshot
Sessions and Pipelines for Structured Service Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-68863-1_5openalex-snapshot
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-70583-3_9openalex-snapshot
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_22openalex-snapshot
Session-Based Distributed Programming in Java
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_2openalex-snapshot
Structured Communication-Centred Programming for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-540-71322-7_15openalex-snapshot
Data Flow Analysis for CCS
inferred← citeshttps://doi.org/10.1007/978-3-540-71774-4_9openalex-snapshot
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_1openalex-snapshot
Asynchronous Session Types and Progress for Object Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_5openalex-snapshot
Coordination Via Types in an Event-Based Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-73228-0_23openalex-snapshot
Two Session Typing Systems for Higher-Order Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_2openalex-snapshot
Logical Semantics of Types for Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_10openalex-snapshot
Bounded Session Types for Object Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-74810-6_2openalex-snapshot
Secure Service Orchestration
inferred← citeshttps://doi.org/10.1007/978-3-540-75336-0_7openalex-snapshot
Spatial-Behavioral Types, Distributed Services, and Resources
inferred← citeshttps://doi.org/10.1007/978-3-540-78663-4_17openalex-snapshot
Multipoint Session Types for a Distributed Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-78663-4_18openalex-snapshot
On Progress for Structured Communications
inferred← citeshttps://doi.org/10.1007/978-3-540-78663-4_19openalex-snapshot
A Protocol Compiler for Secure Sessions in ML
inferred← citeshttps://doi.org/10.1007/978-3-540-78739-6_21openalex-snapshot
The Conversation Calculus: A Model of Service-Oriented Computation
inferred← citeshttps://doi.org/10.1007/978-3-540-78789-1_8openalex-snapshot
Goal-Oriented Composition of Services
inferred← citeshttps://doi.org/10.1007/978-3-540-79980-1_8openalex-snapshot
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
inferred← citeshttps://doi.org/10.1007/978-3-540-85361-9_32openalex-snapshot
Structured Interactional Exceptions in Session Types
inferred← citeshttps://doi.org/10.1007/978-3-540-85361-9_33openalex-snapshot
Global Progress in Dynamically Interleaved Multiparty Sessions
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_12openalex-snapshot
Coordinating Object Oriented Components Using Data-Flow Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-00590-9_23openalex-snapshot
Global Principal Typing in Partially Commutative Asynchronous Sessions
inferred← citeshttps://doi.org/10.1007/978-3-642-00945-7_5openalex-snapshot
Provably Correct Implementations of Services
inferred← citeshttps://doi.org/10.1007/978-3-642-00945-7_7openalex-snapshot
Structured Communications with Concurrent Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_11openalex-snapshot
Security Types for Sessions and Pipelines
inferred← citeshttps://doi.org/10.1007/978-3-642-01918-0_1openalex-snapshot
Calculi for Service-Oriented Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-01918-0_4openalex-snapshot
Fundamentals of Session Types
inferred← citeshttps://doi.org/10.1007/978-3-642-01918-0_5openalex-snapshot
Asynchronous Session Types: Exceptions and Multiparty Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-02273-9_16openalex-snapshot
Session-Based Communication Optimisation for Higher-Order Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_15openalex-snapshot
Contracts for Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_34openalex-snapshot
Secure Enforcement for Global Process Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_12openalex-snapshot
Session-Based Compilation Framework for Multicore Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_5openalex-snapshot
Typing Asymmetric Client-Server Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-13414-2_11openalex-snapshot
Efficient Session Type Guided Distributed Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-13414-2_2openalex-snapshot
Behavioural Contracts with Request-Response Operations
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_16openalex-snapshot
Type-Safe Eventful Sessions in Java
inferred← citeshttps://doi.org/10.1007/978-3-642-14458-5_1openalex-snapshot
Sessions and Session Types: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-642-14458-5_5openalex-snapshot
Compliance Preorders for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_12openalex-snapshot
A Theory of Design-by-Contract for Distributed Multiparty Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_16openalex-snapshot
Session Types as Intuitionistic Linear Propositions
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_24openalex-snapshot
Buffered Communication Analysis in Distributed Multiparty Sessions
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_30openalex-snapshot
A Linear Account of Session Types in the Pi Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_19openalex-snapshot
Practical Parameterised Session Types
inferred← citeshttps://doi.org/10.1007/978-3-642-19056-8_4openalex-snapshot
Scribbling Interactions with a Formal Foundation
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_4openalex-snapshot
Typing Copyless Message Passing
inferred← citeshttps://doi.org/10.1007/978-3-642-20401-2_11openalex-snapshot
Call-by-Contract for Service Discovery, Orchestration and Recovery
inferred← citeshttps://doi.org/10.1007/978-3-642-20401-2_2openalex-snapshot
A Unifying Formal Basis for the Sensoria Approach: A White Paper
inferred← citeshttps://doi.org/10.1007/978-3-642-20401-2_8openalex-snapshot
Core Calculi for Service-Oriented Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_1openalex-snapshot
On Global Types and Multi-party Sessions
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_15openalex-snapshot
On Asynchronous Session Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-21464-6_7openalex-snapshot
Session Typing for a Featherweight Erlang
inferred← citeshttps://doi.org/10.1007/978-3-642-21464-6_8openalex-snapshot
Safe Parallel Programming with Session Java
inferred← citeshttps://doi.org/10.1007/978-3-642-21464-6_9openalex-snapshot
Fair Subtyping for Multi-party Session Types
inferred← citeshttps://doi.org/10.1007/978-3-642-21547-6_1openalex-snapshot
Towards Hierarchical Modeling and Analysis of Web Services Choreography
inferred← citeshttps://doi.org/10.1007/978-3-642-23217-6_19openalex-snapshot
Full Abstraction in a Subtyped pi-Calculus with Linear Types
inferred← citeshttps://doi.org/10.1007/978-3-642-24485-8_30openalex-snapshot
Verifying UML-RT Protocol Conformance Using Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-25379-9_4openalex-snapshot
Proof-Carrying Code in a Session-Typed Process Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-25535-9_9openalex-snapshot
Programming Services with Correlation Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_2openalex-snapshot
Analysis of Service Oriented Software Systems with the Conversation Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_5openalex-snapshot
An Introduction to Pervasive Interface Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-27940-9_5openalex-snapshot
Synchronizability for Verification of Asynchronously Communicating Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28729-9_23openalex-snapshot
Functions as Session-Typed Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-28830-2_22openalex-snapshot
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages
showing the first 200 of 740 · page through all 740
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.