征稿范围
Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):
Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models,
留言