相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A core model for choreographic programming
Luis Cruz-Filipe et al.
THEORETICAL COMPUTER SCIENCE (2020)
On series-parallel pomset languages: Rationality, context-freeness and automata
Tobias Kappe et al.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2019)
Realisability of pomsets
Roberto Guanciale et al.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2019)
Reversible sessions with flexible choices
Ilaria Castellani et al.
ACTA INFORMATICA (2019)
Less Is More: Multiparty Session Types Revisited
Alceste Scalas et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Semantics of global view of choreographies
Emilio Tuosto et al.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2018)
Multiparty Asynchronous Session Types
Kohei Honda et al.
JOURNAL OF THE ACM (2016)
Realizaability and verification of MSC graphs
R Alur et al.
THEORETICAL COMPUTER SCIENCE (2005)
Conversation protocols: a formalism for specification and verification of reactive electronic services
X Fu et al.
THEORETICAL COMPUTER SCIENCE (2004)
Inference of message sequence charts
R Alur et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2003)
Process algebra with action dependencies
A Rensink et al.
ACTA INFORMATICA (2001)
Contextual Petri nets, asymmetric event structures, and processes
P Baldan et al.
INFORMATION AND COMPUTATION (2001)