Publication

XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

An abstract interpretation toolkit for µ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

A tutorial on coinductive stream calculus and signal flow graphs Article

J.J.M.M. Rutten (Jan)

A coinductive calculus of streams Article

J.J.M.M. Rutten (Jan)

Algebra, bitstreams, and circuits Book Chapter

J.J.M.M. Rutten (Jan)

Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev