Proceedings Third Workshop on Behavioural Types

2014/08/24 by Marco Carbone · 5 citations
Computer Science · #cs.PL #cs.LO

paper · pdf · doi:10.4204/eptcs.162

published as EPTCS 162, 2014

arxiv created 2014/08/24 · arxiv updated 2014/08/26

Abstract

This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CONCUR 2014, the 25th International Conference on Concurrency Theory. The aim of this workshop is to bring together researchers in all aspects of behavioural type theory and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.

Cited by

• Dynamic Role Authorization in Multiparty Conversations
• Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
• Timed Runtime Monitoring for Multiparty Conversations
• Recursive Session Types Revisited
• Compliance for reversible client/server interactions

Related

• Proceedings 18th International Workshop on Expressiveness in Concurrency
• Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
• Proceedings 17th International Workshop on Expressiveness in Concurrency
• Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
• Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics