2025
Checkpoint-based rollback recovery in session programming.
Log. Methods Comput. Sci., 2025
2024
https://github.com/ekiciburak/sessionTreeST/tree/localtype.
Dataset, November, 2024
Mixed choice in session types.
Inf. Comput., 2024
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact).
Dagstuhl Artifacts Ser., 2024
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact).
Dagstuhl Artifacts Ser., 2024
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types.
CoRR, 2024
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report).
CoRR, 2024
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR, 2024
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types.
Proceedings of the Theoretical Aspects of Software Engineering, 2024
On the Preciseness of Subtyping in Session Types: 10 Years Later.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Separation and Encodability in Mixed Choice Multiparty Sessions.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Completeness of Asynchronous Session Tree Subtyping in Coq.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
Fearless Asynchronous Communications with Timed Multiparty Session Protocols.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
The Concurrent Calculi Formalisation Benchmark.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Coordination Models and Languages, 2024
Programming Language Implementations with Multiparty Session Types.
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.
Proc. ACM Program. Lang., April, 2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dataset, March, 2023
Causal computational complexity of distributed processes.
Inf. Comput., January, 2023
Dynamically Updatable Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser., 2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dagstuhl Artifacts Ser., 2023
Crash-Stop Failures in Asynchronous Multiparty Session Types.
CoRR, 2023
Hybrid Multiparty Session Types - Full Version.
CoRR, 2023
Multicompatibility for Multiparty-Session Composition.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Rollback Recovery in Session-Based Programming.
Proceedings of the Coordination Models and Languages, 2023
2022
A Type Discipline for Message Passing Parallel Programs.
ACM Trans. Program. Lang. Syst., December, 2022
Introduction to the Special Issue on ESOP 2021.
ACM Trans. Program. Lang. Syst., 2022
Generic go to go: dictionary-passing, monomorphisation, and hybrid.
Proc. ACM Program. Lang., 2022
Event structures for the reversible early internal <i>π</i>-calculus.
J. Log. Algebraic Methods Program., 2022
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.
J. Log. Algebraic Methods Program., 2022
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).
Dagstuhl Artifacts Ser., 2022
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser., 2022
On the Expressiveness of Mixed Choice Sessions.
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022
On the Expressiveness of Mixed Choice Sessions (Technical Report).
CoRR, 2022
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR, 2022
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR, 2022
Deadlock-free asynchronous message reordering in rust with multiparty session types.
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Design-By-Contract for Flexible Multiparty Session Protocols.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Generalised Multiparty Session Types with Crash-Stop Failures.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types.
Dataset, December, 2021
Zooid: a DSL for Certified Multiparty Computation.
Dataset, March, 2021
Zooid: a DSL for Certified Multiparty Computation.
Dataset, March, 2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.
Dataset, January, 2021
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.
ACM Trans. Program. Lang. Syst., 2021
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang., 2021
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.
Log. Methods Comput. Sci., 2021
Event structure semantics of (controlled) reversible CCS.
J. Log. Algebraic Methods Program., 2021
Interviews with the 2021 CONCUR Test-of-Time Award Recipients.
Bull. EATCS, 2021
Zooid: a DSL for Certified Multiparty Computation.
CoRR, 2021
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.
Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021
Safe Session-Based Asynchronous Coordination in Rust.
Proceedings of the Coordination Models and Languages, 2021
CONCUR Test-Of-Time Award 2021 (Invited Paper).
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Communication-safe web programming in TypeScript with routed multiparty session types.
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021
2020
Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact).
Dataset, September, 2020
CAMP: Cost-Aware Multiparty Session Protocols (artifact).
Dataset, September, 2020
Statically Verified Refinements for Multiparty Protocols.
Dataset, August, 2020
Statically Verified Refinements for Multiparty Protocols.
Dataset, August, 2020
Multiparty motion coordination: from choreographies to robotics programs.
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
CAMP: cost-aware multiparty session protocols.
Proc. ACM Program. Lang., 2020
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang., 2020
A parametric framework for reversible <i>π</i>-calculi.
Inf. Comput., 2020
Multiparty Session Programming with Global Protocol Combinators (Artifact).
Dagstuhl Artifacts Ser., 2020
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).
Dagstuhl Artifacts Ser., 2020
Game Semantics: Easy as Pi.
CoRR, 2020
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).
CoRR, 2020
Generating Interactive WebSocket Applications in TypeScript.
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020
Event structures for the reversible early internal Pi-calculus.
CoRR, 2020
EMTST: Engineering the Meta-theory of Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Towards a Formal Account for Software Transactional Memory.
Proceedings of the Reversible Computation - 12th International Conference, 2020
Event Structures for the Reversible Early Internal π-Calculus.
Proceedings of the Reversible Computation - 12th International Conference, 2020
A Very Gentle Introduction to Multiparty Session Types.
Proceedings of the Distributed Computing and Internet Technology, 2020
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.
Proceedings of the Programming Languages and Systems, 2020
Multiparty Session Programming With Global Protocol Combinators.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Static Race Detection and Mutex Safety and Liveness for Go Programs.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Implementing Multiparty Session Types in Rust.
Proceedings of the Coordination Models and Languages, 2020
Compiling first-order functions to session-typed parallel code.
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020
2019
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst., 2019
Session-ocaml: A session-based library with polarities and lenses.
Sci. Comput. Program., 2019
Less is more: multiparty session types revisited.
Proc. ACM Program. Lang., 2019
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang., 2019
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.
Proc. ACM Program. Lang., 2019
Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program., 2019
On the relative expressiveness of higher-order session processes.
Inf. Comput., 2019
A Sound Algorithm for Asynchronous Session Subtyping (extended version).
CoRR, 2019
Multiparty Session Type-safe Web Development with Static Linearity.
Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019
Service Equivalence via Multiparty Session Type Isomorphisms.
Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019
Developing secure bitcoin contracts with BitML.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Effpi: verified message-passing programs in Dotty.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019
Verifying message-passing programs with dependent behavioural types.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).
Proceedings of the Foundations of Software Science and Computation Structures, 2019
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
Proceedings of the Programming Languages and Systems, 2019
Motion Session Types for Robotic Interactions (Brave New Idea Paper).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
A Sound Algorithm for Asynchronous Session Subtyping.
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Verifying Asynchronous Interactions via Communicating Session Automata.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Polymorphic Session Processes as Morphisms.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019
2018
Interconnectability of Session-Based Logical Processes.
ACM Trans. Program. Lang. Syst., 2018
Multiparty session types, beyond duality.
J. Log. Algebraic Methods Program., 2018
A Parametric Framework for Reversible Pi-Calculi.
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018
A Parametric Framework for Reversible π-Calculi.
CoRR, 2018
A static verification framework for message passing in Go using behavioural types.
Proceedings of the 40th International Conference on Software Engineering, 2018
Depending on Session-Typed Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2018
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
Proceedings of the 27th International Conference on Compiler Construction, 2018
2017
Monitoring networks through multiparty session types.
Theor. Comput. Sci., 2017
On the Preciseness of Subtyping in Session Types.
Log. Methods Comput. Sci., 2017
Certifying data in multiparty session types.
J. Log. Algebraic Methods Program., 2017
J. Log. Algebraic Methods Program., 2017
Timed runtime monitoring for multiparty conversations.
Formal Aspects Comput., 2017
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser., 2017
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).
Dagstuhl Reports, 2017
Multiparty Session Types, Beyond Duality (Abstract).
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017
Towards a Categorical Representation of Reversible Event Structures.
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017
Characteristic bisimulation for higher-order session processes.
Acta Informatica, 2017
Multiparty session types as coherence proofs.
Acta Informatica, 2017
Fencing off go: liveness and safety for channel-based programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
On the Undecidability of Asynchronous Session Subtyping.
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Explicit Connection Actions in Multiparty Session Types.
Proceedings of the Fundamental Approaches to Software Engineering, 2017
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Let it recover: multiparty protocol-induced recovery.
Proceedings of the 26th International Conference on Compiler Construction, 2017
2016
On asynchronous eventful session semantics.
Math. Struct. Comput. Sci., 2016
Global progress for dynamically interleaved multiparty sessions.
Math. Struct. Comput. Sci., 2016
Global escape in multiparty sessions.
Math. Struct. Comput. Sci., 2016
Multiparty Asynchronous Session Types.
J. ACM, 2016
Behavioral Types in Programming Languages.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Found. Trends Program. Lang., 2016
Lightweight Session Programming in Scala (Artifact).
Dagstuhl Artifacts Ser., 2016
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR, 2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Log. Methods Comput. Sci., 2016
Characteristic Formulae for Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Reversing Single Sessions.
Proceedings of the Reversible Computation - 8th International Conference, 2016
Effects as sessions, sessions as effects.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.
Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016
Hybrid Session Verification Through Endpoint API Generation.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Lightweight Session Programming in Scala.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
Static deadlock detection for concurrent go by global session graph synthesis.
Proceedings of the 25th International Conference on Compiler Construction, 2016
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
Pabble: parameterised Scribble.
Serv. Oriented Comput. Appl., 2015
Reversible session-based pi-calculus.
J. Log. Algebraic Methods Program., 2015
Session typing and asynchronous subtyping for the higher-order π-calculus.
Inf. Comput., 2015
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des., 2015
Using session types as an effect system.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
Characteristic Formulae for Session Types (extended version).
CoRR, 2015
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR, 2015
Precise subtyping for synchronous multiparty sessions.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
A Gentle Introduction to Multiparty Asynchronous Session Types.
Proceedings of the Formal Methods for Multicore Programming, 2015
From Communicating Machines to Graphical Choreographies.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
On the Expressiveness of Multiparty Sessions.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Meeting Deadlines Together.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Protocols by Default - Safe MPI Code Generation Based on Session Types.
Proceedings of the Compiler Construction - 24th International Conference, 2015
2014
An observationally complete program logic for imperative higher-order functions.
Theor. Comput. Sci., 2014
Scaling Future Software: The Manycore Challenge.
ERCIM News, 2014
Towards Reversible Sessions.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014
Multiparty Session Actors.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014
Globally Governed Session Semantics.
Log. Methods Comput. Sci., 2014
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
On the Preciseness of Subtyping in Session Types.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Pabble: Parameterised Scribble for Parallel Programming.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Calculating communication costs with Sessions Types and Sizes.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014
Timed Multiparty Session Types.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014
2013
The Scribble Protocol Language.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Scalable Session Programming for Heterogeneous High-Performance Systems.
Proceedings of the Software Engineering and Formal Methods, 2013
SPY: Local Verification of Global Protocols.
Proceedings of the Runtime Verification - 4th International Conference, 2013
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
Proceedings of the Runtime Verification - 4th International Conference, 2013
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
Compositional Choreographies.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Structured Communication-Centered Programming for Web Services.
ACM Trans. Program. Lang. Syst., 2012
Session types: towards safe and fast reconfigurable programming.
SIGARCH Comput. Archit. News, 2012
Parameterised Multiparty Session Types
Log. Methods Comput. Sci., 2012
Multiparty Session C: Safe Parallel Programming with Message Optimisation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012
A Multiparty Multi-session Logic.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012
Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Trustworthy Pervasive Healthcare Services via Multiparty Session Types.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
Multiparty Session Types Meet Communicating Automata.
Proceedings of the Programming Languages and Systems, 2012
Intensional and Extensional Characterisation of Global Progress in the π-Calculus.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
A Unified Theory of Program Logics: An Approach based on the π-Calculus.
Comput. J., 2011
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
Dynamic multirole session types.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Scribbling Interactions with a Formal Foundation.
Proceedings of the Distributed Computing and Internet Technology, 2011
On Asynchronous Session Semantics.
Proceedings of the Formal Techniques for Distributed Systems, 2011
Safe Parallel Programming with Session Java.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011
2010
Typed event structures and the linear pi-calculus.
Theor. Comput. Sci., 2010
Secure Execution of Distributed Session Programs
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010
Multiparty Symmetric Sum Types
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Type-Safe Eventful Sessions in Java.
Proceedings of the ECOOP 2010, 2010
Buffered Communication Analysis in Distributed Multiparty Sessions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Objects and session types.
Inf. Comput., 2009
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009
Session-Based Communication Optimisation for Higher-Order Mobile Processes.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009
Asynchronous Session Types: Exceptions and Multiparty Interactions.
Proceedings of the Formal Methods for Web Services, 2009
On Observing Dynamic Prioritised Actions in SOC.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
Global Principal Typing in Partially Commutative Asynchronous Sessions.
Proceedings of the Programming Languages and Systems, 2009
2008
Logical Reasoning for Higher-Order Functions with Local State.
Log. Methods Comput. Sci., 2008
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
A Symbolic Semantics for a Calculus for Service-Oriented Computing.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
Type-Directed Compilation for Multicore Programming.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
Synchronous Multiparty Session Types.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
Session-Based Compilation Framework for Multicore Programming.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
Session-Based Distributed Programming in Java.
Proceedings of the ECOOP 2008, 2008
Structured Interactional Exceptions in Session Types.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
A Unified Theory of Program Logics: An Approach based on the n-Calculus.
Proceedings of the Visions of Computer Science, 2008
2007
A uniform type structure for secure information flow.
ACM Trans. Program. Lang. Syst., 2007
Formalising Java RMI with explicit code mobility.
Theor. Comput. Sci., 2007
Linearity and bisimulation.
J. Log. Algebraic Methods Program., 2007
A logical analysis of aliasing in imperative higher-order functions.
J. Funct. Program., 2007
Probabilistic pi-Calculus and Event Structures.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Web Services, Mobile Processes and Types.
Bull. EATCS, 2007
Two Session Typing Systems for Higher-Order Mobile Processes.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
On Progress for Structured Communications.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Asynchronous Session Types and Progress for Object Oriented Languages.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Structured Communication-Centred Programming for Web Services.
Proceedings of the Programming Languages and Systems, 2007
Compositional Event Structure Semantics for the Internal <i>pi</i> -Calculus.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
Timed, Distributed, Probabilistic, Typed Processes.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
Theor. Comput. Sci., 2006
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006
Typed Event Structures and the <i>pi</i>-Calculus: Extended Abstract.
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Theoretical Aspects of Communication-Centred Programming.
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
A Calculus of Global Interaction based on Session Types.
Proceedings of the Second International Workshop on Developments in Computational Models, 2006
Descriptive and Relative Completeness of Logics for Higher-Order Functions.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
Session Types for Object-Oriented Languages.
Proceedings of the ECOOP 2006, 2006
2005
Noninterference through flow analysis.
J. Funct. Program., 2005
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
safeDpi: a language for controlling mobile code.
Acta Informatica, 2005
Genericity and the pi-calculus.
Acta Informatica, 2005
A Distributed Object-Oriented Language with Session Types.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
2004
Strong normalisation in the pi -calculus.
Inf. Comput., 2004
A compositional logic for polymorphic higher-order functions.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Channel dependent types for higher-order mobile processes.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
A Distributed Abstract Machine for Boxed Ambient Calculi.
Proceedings of the Programming Languages and Systems, 2004
2002
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.
Theor. Comput. Sci., 2002
Assigning Types to Processes.
Inf. Comput., 2002
Dynamic Channel Screening in the Higher Order pi-Calculus.
Proceedings of the Foundations of Wide Area Network Computing, 2002
2001
Sequentiality and the pi-Calculus.
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
2000
Secure Information Flow as Typed Process Behaviour.
Proceedings of the Programming Languages and Systems, 2000
1999
Game-Theoretic Analysis of Call-by-Value Computation.
Theor. Comput. Sci., 1999
Suptyping and Locality in Distributed Higher Order Processes (extended abstract).
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1996
Graph Types for Monadic Mobile Processes.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
1995
On Reduction-Based Process Semantics.
Theor. Comput. Sci., 1995
1994
Graph Notation for Concurrent Combinators.
Proceedings of the Theory and Practice of Parallel Programming, 1994
Replication in Concurrent Combinators.
Proceedings of the Theoretical Aspects of Computer Software, 1994
Combinatory Representation of Mobile Processes.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
1993
On Reduction-Based Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
Optimal Reduction in Weak-λ-calculus with Shared Environments.
Proceedings of the conference on Functional programming languages and computer architecture, 1993