Publication

Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

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

Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

Integral representations for computing real parabolic cylinder functions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)