Nobuko Yoshida

CoRR, 2022

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2022

Deadlock-free asynchronous message reordering in rust with multiparty session types.

[BibT_eX]

[DOI]

Zak Cutner

Martin Vassor

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.

[BibT_eX]

[DOI]

Nicolas Lagaillardie

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Design-By-Contract for Flexible Multiparty Session Protocols.

[BibT_eX]

[DOI]

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Generalised Multiparty Session Types with Crash-Stop Failures.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types.

[BibT_eX]

[DOI]

Zak Cutner

Martin Vassor

Dataset, December, 2021

Zooid: a DSL for Certified Multiparty Computation.

[BibT_eX]

[DOI]

Dataset, March, 2021

Zooid: a DSL for Certified Multiparty Computation.

[BibT_eX]

[DOI]

Dataset, March, 2021

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.

[BibT_eX]

[DOI]

Dataset, January, 2021

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2021

Precise subtyping for asynchronous multiparty sessions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

Event structure semantics of (controlled) reversible CCS.

[BibT_eX]

[DOI]

Iain C. C. Phillips

J. Log. Algebraic Methods Program., 2021

Interviews with the 2021 CONCUR Test-of-Time Award Recipients.

[BibT_eX]

[DOI]

Luca Aceto

Nathalie Bertrand

Bull. EATCS, 2021

Zooid: a DSL for Certified Multiparty Computation.

[BibT_eX]

[DOI]

CoRR, 2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fangyi Zhou

Francisco Ferreira

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Safe Session-Based Asynchronous Coordination in Rust.

[BibT_eX]

[DOI]

Zak Cutner

Proceedings of the Coordination Models and Languages, 2021

CONCUR Test-Of-Time Award 2021 (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Communication-safe web programming in TypeScript with routed multiparty session types.

[BibT_eX]

[DOI]

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact).

[BibT_eX]

[DOI]

Rupak Majumdar

Damien Zufferey

Dataset, September, 2020

CAMP: Cost-Aware Multiparty Session Protocols (artifact).

[BibT_eX]

[DOI]

Dataset, September, 2020

Statically Verified Refinements for Multiparty Protocols.

[BibT_eX]

[DOI]

Dataset, August, 2020

Statically Verified Refinements for Multiparty Protocols.

[BibT_eX]

[DOI]

Dataset, August, 2020

Multiparty motion coordination: from choreographies to robotics programs.

[BibT_eX]

[DOI]

Rupak Majumdar

Damien Zufferey

Proc. ACM Program. Lang., 2020

Featherweight go.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

CAMP: cost-aware multiparty session protocols.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Statically verified refinements for multiparty protocols.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

A parametric framework for reversible π-calculi.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).

[BibT_eX]

[DOI]

Julia Gabet

Dagstuhl Artifacts Ser., 2020

Game Semantics: Easy as Pi.

[BibT_eX]

[DOI]

Simon Castellan

Léo Stefanesco

CoRR, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).

[BibT_eX]

[DOI]

Julia Gabet

CoRR, 2020

Generating Interactive WebSocket Applications in TypeScript.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Iain C. C. Phillips

CoRR, 2020

EMTST: Engineering the Meta-theory of Session Types.

[BibT_eX]

[DOI]

Francisco Ferreira

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Towards a Formal Account for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

Event Structures for the Reversible Early Internal π-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

A Very Gentle Introduction to Multiparty Session Types.

[BibT_eX]

[DOI]

Lorenzo Gheri

Proceedings of the Distributed Computing and Internet Technology, 2020

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.

[BibT_eX]

[DOI]

Sung-Shik Jongmans

Proceedings of the Programming Languages and Systems, 2020

Multiparty Session Programming With Global Protocol Combinators.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs.

[BibT_eX]

[DOI]

Julia Gabet

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Implementing Multiparty Session Types in Rust.

[BibT_eX]

[DOI]

Nicolas Lagaillardie

Proceedings of the Coordination Models and Languages, 2020

Compiling first-order functions to session-typed parallel code.

[BibT_eX]

[DOI]

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Dynamic Deadlock Verification for General Barrier Synchronisation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2019

Session-ocaml: A session-based library with polarities and lenses.

[BibT_eX]

[DOI]

Keigo Imai

Shoji Yuen

Sci. Comput. Program., 2019

Less is more: multiparty session types revisited.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.

[BibT_eX]

[DOI]

Simon Castellan

Proc. ACM Program. Lang., 2019

Precise subtyping for synchronous multiparty sessions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

On the relative expressiveness of higher-order session processes.

[BibT_eX]

[DOI]

Jorge A. Pérez

Inf. Comput., 2019

A Sound Algorithm for Asynchronous Session Subtyping (extended version).

[BibT_eX]

[DOI]

CoRR, 2019

Multiparty Session Type-safe Web Development with Static Linearity.

[BibT_eX]

[DOI]

Jonathan King

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Service Equivalence via Multiparty Session Type Isomorphisms.

[BibT_eX]

[DOI]

Assel Altayeva

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Developing secure bitcoin contracts with BitML.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Elias Benussi

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Verifying message-passing programs with dependent behavioural types.

[BibT_eX]

[DOI]

Elias Benussi

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).

[BibT_eX]

[DOI]

Simon Castellan

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

[BibT_eX]

[DOI]

Maurizio Murgia

Proceedings of the Programming Languages and Systems, 2019

Motion Session Types for Robotic Interactions (Brave New Idea Paper).

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

A Sound Algorithm for Asynchronous Session Subtyping.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Verifying Asynchronous Interactions via Communicating Session Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Polymorphic Session Processes as Morphisms.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Featherweight Scribble.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Towards Bidirectional Synchronization Between Communicating Processes and Session Types.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2018

Interconnectability of Session-Based Logical Processes.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2018

Multiparty session types, beyond duality.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

A Parametric Framework for Reversible Pi-Calculi.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2018

A static verification framework for message passing in Go using behavioural types.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Depending on Session-Typed Processes.

[BibT_eX]

[DOI]

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#.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Monitoring networks through multiparty session types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

On the Preciseness of Subtyping in Session Types.

[BibT_eX]

[DOI]

Tzu-Chun Chen

Log. Methods Comput. Sci., 2017

Certifying data in multiparty session types.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Guest editors' foreword.

[BibT_eX]

[DOI]

Dominic A. Orchard

J. Log. Algebraic Methods Program., 2017

Timed runtime monitoring for multiparty conversations.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Multiparty Session Types, Beyond Duality (Abstract).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Characteristic bisimulation for higher-order session processes.

[BibT_eX]

[DOI]

Jorge A. Pérez

Acta Informatica, 2017

Multiparty session types as coherence proofs.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Fencing off go: liveness and safety for channel-based programming.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Undecidability of Asynchronous Session Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Explicit Connection Actions in Multiparty Session Types.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Let it recover: multiparty protocol-induced recovery.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

On asynchronous eventful session semantics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

Global progress for dynamically interleaved multiparty sessions.

[BibT_eX]

[DOI]

Luca Padovani

Math. Struct. Comput. Sci., 2016

Global escape in multiparty sessions.

[BibT_eX]

[DOI]

Sara Capecchi

Elena Giachino

Math. Struct. Comput. Sci., 2016

Multiparty Asynchronous Session Types.

[BibT_eX]

[DOI]

J. ACM, 2016

Behavioral Types in Programming Languages.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2016

Lightweight Session Programming in Scala (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

[BibT_eX]

[DOI]

CoRR, 2016

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

[BibT_eX]

[DOI]

Søren Debois

Thomas T. Hildebrandt

Tijs Slaats

Log. Methods Comput. Sci., 2016

Characteristic Formulae for Session Types.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Reversing Single Sessions.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 8th International Conference, 2016

Effects as sessions, sessions as effects.

[BibT_eX]

[DOI]

Dominic A. Orchard

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Hybrid Session Verification Through Endpoint API Generation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Lightweight Session Programming in Scala.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Static deadlock detection for concurrent go by global session graph synthesis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Pabble: parameterised Scribble.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Reversible session-based pi-calculus.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Session typing and asynchronous subtyping for the higher-order π-calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2015

Using session types as an effect system.

[BibT_eX]

[DOI]

Dominic A. Orchard

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).

[BibT_eX]

[DOI]

CoRR, 2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.

[BibT_eX]

[DOI]

Jorge A. Pérez

CoRR, 2015

Precise subtyping for synchronous multiparty sessions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luca Padovani

Proceedings of the Formal Methods for Multicore Programming, 2015

From Communicating Machines to Graphical Choreographies.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Protocol-based verification of message-passing parallel programs.

[BibT_eX]

[DOI]

Hugo A. López

Eduardo R. B. Marques

Francisco Martins

César Santos

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

On the Expressiveness of Multiparty Sessions.

[BibT_eX]

[DOI]

Romain Demangeon

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Meeting Deadlines Together.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Protocols by Default - Safe MPI Code Generation Based on Session Types.

[BibT_eX]

[DOI]

José Gabriel de Figueiredo Coutinho

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

An observationally complete program logic for imperative higher-order functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Scaling Future Software: The Manycore Challenge.

[BibT_eX]

[DOI]

ERCIM News, 2014

Towards Reversible Sessions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Multiparty Session Actors.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Globally Governed Session Semantics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Multiparty Session Nets.

[BibT_eX]

[DOI]

Luca Fossati

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Preciseness of Subtyping in Session Types.

[BibT_eX]

[DOI]

Tzu-Chun Chen

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Pabble: Parameterised Scribble for Parallel Programming.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Calculating communication costs with Sessions Types and Sizes.

[BibT_eX]

[DOI]

Juliana Franco

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Timed Multiparty Session Types.

[BibT_eX]

[DOI]

Weizhen Yang

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Structuring Communication with Session Types.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Objects and Beyond, 2014

2013

The Scribble Protocol Language.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Scalable Session Programming for Heterogeneous High-Performance Systems.

[BibT_eX]

[DOI]

Wayne Luk

Proceedings of the Software Engineering and Formal Methods, 2013

SPY: Local Verification of Global Protocols.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Luca Padovani

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Compositional Choreographies.

[BibT_eX]

[DOI]

Fabrizio Montesi

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Structured Communication-Centered Programming for Web Services.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2012

Session types: towards safe and fast reconfigurable programming.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 2012

Parameterised Multiparty Session Types

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A Multiparty Multi-session Logic.

[BibT_eX]

[DOI]

Romain Demangeon

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Verification of MPI Programs Using Session Types.

[BibT_eX]

[DOI]

Eduardo R. B. Marques

Francisco Martins

Proceedings of the Recent Advances in the Message Passing Interface, 2012

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.

[BibT_eX]

[DOI]

Silvia Crafa

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

[BibT_eX]

[DOI]

Anders Starcke Henriksen

Lasse Nielsen

Thomas T. Hildebrandt

Fritz Henglein

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Multiparty Session Types Meet Communicating Automata.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

Intensional and Extensional Characterisation of Global Progress in the π-Calculus.

[BibT_eX]

[DOI]

Luca Fossati

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

A Unified Theory of Program Logics: An Approach based on the π-Calculus.

[BibT_eX]

[DOI]

Comput. J., 2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Dynamic multirole session types.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Scribbling Interactions with a Formal Foundation.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2011

On Asynchronous Session Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Safe Parallel Programming with Session Java.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Typed event structures and the linear pi-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Secure Execution of Distributed Session Programs

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Multiparty Symmetric Sum Types

[BibT_eX]

[DOI]

Lasse Nielsen

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Type-Safe Eventful Sessions in Java.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2010, 2010

Buffered Communication Analysis in Distributed Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Objects and session types.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

[BibT_eX]

[DOI]

Andi Bejleri

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.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Web Services, 2009

On Observing Dynamic Prioritised Actions in SOC.

[BibT_eX]

[DOI]

Rosario Pugliese

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Global Principal Typing in Partially Commutative Asynchronous Sessions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2009

2008

Logical Reasoning for Higher-Order Functions with Local State.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Preface.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rosario Pugliese

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Type-Directed Compilation for Multicore Programming.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Synchronous Multiparty Session Types.

[BibT_eX]

[DOI]

Andi Bejleri

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.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Session-Based Compilation Framework for Multicore Programming.

[BibT_eX]

[DOI]

Hervé Paulino

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Session-Based Distributed Programming in Java.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2008, 2008

Structured Interactional Exceptions in Session Types.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

A Unified Theory of Program Logics: An Approach based on the n-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Visions of Computer Science, 2008

2007

A uniform type structure for secure information flow.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Formalising Java RMI with explicit code mobility.

[BibT_eX]

[DOI]

Alexander Joseph Ahern

Theor. Comput. Sci., 2007

Linearity and bisimulation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

A logical analysis of aliasing in imperative higher-order functions.

[BibT_eX]

[DOI]

J. Funct. Program., 2007

Probabilistic pi-Calculus and Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Web Services, Mobile Processes and Types.

[BibT_eX]

Bull. EATCS, 2007

Two Session Typing Systems for Higher-Order Mobile Processes.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

On Progress for Structured Communications.

[BibT_eX]

[DOI]

Ugo de'Liguoro

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous Session Types and Progress for Object Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Structured Communication-Centred Programming for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

Compositional Event Structure Semantics for the Internal pi -Calculus.

[BibT_eX]

[DOI]

Silvia Crafa

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Timed, Distributed, Probabilistic, Typed Processes.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Editorial.

[BibT_eX]

[DOI]

Philippa Gardner

Theor. Comput. Sci., 2006

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006

Typed Event Structures and the pi-Calculus: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Theoretical Aspects of Communication-Centred Programming.

[BibT_eX]

[DOI]

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

A Calculus of Global Interaction based on Session Types.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Bounded Session Types for Object Oriented Languages.

[BibT_eX]

[DOI]

Elena Giachino

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Session Types for Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2006, 2006

2005

Noninterference through flow analysis.

[BibT_eX]

[DOI]

J. Funct. Program., 2005

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

safeDpi: a language for controlling mobile code.

[BibT_eX]

[DOI]

Matthew Hennessy

Julian Rathke

Acta Informatica, 2005

Genericity and the pi-calculus.

[BibT_eX]

[DOI]

Acta Informatica, 2005

A Distributed Object-Oriented Language with Session Types.

[BibT_eX]

[DOI]

Alexander Joseph Ahern

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Strong normalisation in the pi -calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2004

A compositional logic for polymorphic higher-order functions.

[BibT_eX]

[DOI]

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Channel dependent types for higher-order mobile processes.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Distributed Abstract Machine for Boxed Ambient Calculi.

[BibT_eX]

[DOI]

Andrew Phillips

Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2004

2002

Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Assigning Types to Processes.

[BibT_eX]

[DOI]

Matthew Hennessy

Inf. Comput., 2002

Dynamic Channel Screening in the Higher Order pi-Calculus.

[BibT_eX]

[DOI]

José-Luis Vivas

Proceedings of the Foundations of Wide Area Network Computing, 2002

2001

Sequentiality and the pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Secure Information Flow as Typed Process Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2000

1999

Game-Theoretic Analysis of Call-by-Value Computation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Suptyping and Locality in Distributed Higher Order Processes (extended abstract).

[BibT_eX]

[DOI]

Matthew Hennessy

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996

Graph Types for Monadic Mobile Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

On Reduction-Based Process Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

1994

Graph Notation for Concurrent Combinators.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Parallel Programming, 1994

Replication in Concurrent Combinators.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

Combinatory Representation of Mobile Processes.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

On Reduction-Based Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Optimal Reduction in Weak-λ-calculus with Shared Environments.

[BibT_eX]

[DOI]