- Max I. Kanovich:
The undecidability theorem for the Horn-like fragment of linear logic (Revisited). Math. Struct. Comput. Sci. 26(5): 719-744 (2016) - Karim Kanso, Anton Setzer:
A light-weight integration of automated and interactive theorem proving. Math. Struct. Comput. Sci. 26(1): 129-153 (2016) - Dimitrios Kouzapas
, Nobuko Yoshida, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016) - Ugo Dal Lago, Paolo Di Giamberardino:
On session types and polynomial time. Math. Struct. Comput. Sci. 26(8): 1433-1458 (2016) - Ugo Dal Lago, Simone Martini, Davide Sangiorgi:
Light logics and higher-order processes. Math. Struct. Comput. Sci. 26(6): 969-992 (2016) - Gavin Lowe:
Models for CSP with availability information. Math. Struct. Comput. Sci. 26(6): 1022-1053 (2016) - Bas Luttik, Frank D. Valencia:
Preface to special issue: EXPRESS 2011. Math. Struct. Comput. Sci. 26(8): 1351 (2016) - Luca Padovani:
Fair subtyping for multi-party session types. Math. Struct. Comput. Sci. 26(3): 424-464 (2016) - Joachim Parrow:
General conditions for full abstraction. Math. Struct. Comput. Sci. 26(4): 655-657 (2016) - Kirstin Peters, Uwe Nestmann:
Breaking symmetries. Math. Struct. Comput. Sci. 26(6): 1054-1106 (2016) - Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann:
Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. 26(8): 1459-1498 (2016) - Paul Ruet:
Local cycles and dynamical properties of Boolean networks. Math. Struct. Comput. Sci. 26(4): 702-718 (2016) - Sylvain Salvati, Igor Walukiewicz:
Simply typed fixpoint calculus and collapsible pushdown automata. Math. Struct. Comput. Sci. 26(7): 1304-1350 (2016) - Margherita Zorzi:
On quantum lambda calculi: a foundational perspective. Math. Struct. Comput. Sci. 26(7): 1107-1195 (2016)
