Publication

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

Coalgebraic Weak Bisimulation for Action-Type Systems Article

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

A Kleene theorem for polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

On the efficient policing of HTTP traffic in WLANs In Proceedings

G.J. Hoekstra (Gerard) and F.J.M. Panken

Special issue on Stochastic Performance Models for Resource Allocation in Communication Systems Article

M.R.H. Mandjes (Michel), R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

Equivariant Gröbner bases and the two-factor model Tech Report

A.E. Brouwer (Andries) and J. Draisma (Jan)

Algebras for Kripke polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)