Myrto Arapinis, Eike Ritter & Mark Dermot Ryan (2011):
StatVerif: Verification of Stateful Processes.
In: CSF.
IEEE Computer Society,
pp. 33–47,
doi:10.1109/CSF.2011.10.
Martin Berger, Kohei Honda & Nobuko Yoshida (2008):
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
In: ICALP (2),
LNCS 5126.
Springer,
pp. 99–111,
doi:10.1007/978-3-540-70583-3_9.
Laura Bocchi, Romain Demangeon & Nobuko Yoshida (2013):
A Multiparty Multi-session Logic.
In: TGC,
LNCS 8191.
Springer,
pp. 97–111,
doi:10.1007/978-3-642-41157-1_7.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: CONCUR,
LNCS 6269,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Luis Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: CONCUR,
LNCS 6269.
Springer,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Mario Coppo & Mariangiola Dezani-Ciancaglini (2008):
Structured Communications with Concurrent Constraints.
In: TGC,
pp. 104–125,
doi:10.1007/978-3-642-00945-7_7.
Mads Dam (1994):
CTL* and ECTL* as Fragments of the Modal mu-Calculus.
TCS 126(1),
pp. 77–96,
doi:10.1016/0304-3975(94)90269-0.
Pierre-Malo Deniélou & Nobuko Yoshida (2011):
Dynamic Multirole Session Types.
In: POPL,
pp. 435–446,
doi:10.1145/1926385.1926435.
Edsger W. Dijkstra (1975):
Guarded commands, nondeterminacy and formal derivation of programs.
Commun. ACM 18,
pp. 453–457,
doi:10.1145/360933.360975.
Matthew Hennessy & Robin Milner (1985):
Algebraic Laws for Non-Determinism and Concurrency.
JACM 32(1),
pp. 137–161,
doi:10.1145/2455.2460.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL'08.
ACM,
pp. 273–284,
doi:10.1145/1328438.1328472.
Nikhil Swamy, Juan Chen, Cedric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan & Jean Yang (2011):
Secure Distributed Programming with Value-Dependent Types.
In: ICFP.
ACM,
pp. 266–278,
doi:10.1145/2034773.2034811.
Bernardo Toninho, Luis Caires & Frank Pfenning (2011):
Dependent Session Types via Intuitionistic Linear Type Theory.
In: PPDP.
ACM,
pp. 161–172,
doi:10.1145/2003476.2003499.