Mathematical Structures in Computer Science
Collection
Collection
- ISSN: 0960-1295
Published by Cambridge U.P.
-
Enhanced coalgebraic bisimulation Article
Mathematical Structures in Computer Science, 1-29.J.C. Rot (Jurriaan), F. Bonchi (Filippo), M.M. Bonsangue (Marcello), D. Pous (Damien), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
December 2015 -
Expressiveness modulo bisimilarity of regular expressions with parallel composition Article
Mathematical Structures in Computer Science, 26(6), 933-968.J.C.M. Baeten (Jos), S.P. Luttik (Bas), T. Muller (Tim) and P.J.A. van Tilburg (Paul)
September 2016 -
A coalgebraic view on decorated traces Article
Mathematical Structures in Computer Science, 26(7), 1234-1268.F. Bonchi (Filippo), M.M. Bonsangue (Marcello), G. Caltais (Georgiana), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
October 2016 -
Newton series, coinductively: a comparative study of composition Article
Mathematical Structures in Computer Science, 38-66.H. Basold (Henning), H.H. Hansen (Helle), J.-É. Pin (Jean-Éric) and J.J.M.M. Rutten (Jan)
June 2017