Electronic Proceedings in Theoretical Computer Science

Integrated structure and semantics for Reo connectors and Petri nets In Proceedings

C. Krause (born Köhler) (Christian)

Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

Proceedings Fourth Interaction and Concurrency Experience Book

Rascal: From Algebraic Specification to Meta-Programming In Proceedings

J. van den Bos (Jeroen), M.A. Hills (Mark), P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

A process algebra for supervisory coordination In Proceedings

J.C.M. Baeten (Jos), D.A. van Beek, A.C. van Hulst (Alan) and J. Markovski (Jasen)

Social Network Games with Obligatory Product Selection In Proceedings

K.R. Apt (Krzysztof) and S.E. Simon (Sunil)

Epistemic protocols for distributed gossiping In Proceedings

K.R. Apt (Krzysztof), D. Grossi (Davide) and W. van der Hoek (Wiebe)