Publications by Year

sign in

Journal

Scientific Annals of Computer Science

Collection

Collection

ISSN: 2248-2695

Published by Alexandru Ioan Cuza University of Iasi

Coalgebraic Weak Bisimulation for Action-Type Systems Article

Scientific Annals of Computer Science, 93-144.

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

January 2009
Symbolic synthesis of Mealy machines from arithmetic bitstream functions Article

Scientific Annals of Computer Science, 97-130.

H.H. Hansen (Helle) and J.J.M.M. Rutten (Jan)

January 2010
Overview of Thirty Semantic Formalisms for Reo Article

Scientific Annals of Computer Science, 22(1), 201-251.

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

May 2012

Previous

Refine Publication List

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close