International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
摘要截稿:
全文截稿: 2020-01-24
开会时间: 2020-04-26
会议难度:
CCF分类: 无
会议地点: Dublin, Ireland
Overview
Relevant topics include, but are not limited to:
Design and implementation of programming languages with first class concurrency and communication
Models, such as process algebra and automata
Behavioural types, including session types
Concurrent data types, objects, and actors
Verification and program analysis methods for concurrent and distributed software
Memory models for concurrent programming on relaxed-memory architectures
Interface and contract languages for communication and distribution
Applications in web services, sensor networks, scientific computing, HPC, and blockchains
Concurrency and communication in event processing and business process management