Centrum Wiskunde & Informatica

Bisimilarity is not finitely based over BPA with interrupt In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain

January 2006
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Journal of Logic and Algebraic Programming, 1-3.

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

January 2006
Type for hierarchic shapes (summary) In Proceedings

S. Drossopoulou, D.G. Clarke (David) and J. Noble

January 2006
Compositional Operational Semantics of a UML-Kernel-Model language Article

Electronic Notes in Theoretical Computer Science, 79-96.

H. Fecher, M. Kyas (Marcel), W.P. de Roever and F.S. de Boer (Frank)

January 2006
Interacting process classes Article

A. Goel, S. Meng, A. Roychoudhury and P.S. Thiagarajan

January 2006
A Component Coordination Model Based on Mobile Channels Article

Fundamenta Informaticae, 1-22.

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

January 2006
Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article

Electronic Notes in Theoretical Computer Science, 121-138.

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

January 2006
A Component Coordination Model Based on Mobile Channels Article

Electronic Notes in Theoretical Computer Science, 121-138.

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

January 2006

Publication

Bisimilarity is not finitely based over BPA with interrupt In Proceedings

Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Type for hierarchic shapes (summary) In Proceedings

Compositional Operational Semantics of a UML-Kernel-Model language Article

Interacting process classes Article

A Component Coordination Model Based on Mobile Channels Article

Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article

A Component Coordination Model Based on Mobile Channels Article

Address

CWI researchers

Questions or comments?

Publication

Bisimilarity is not finitely based over BPA with interrupt In Proceedings

Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Type for hierarchic shapes (summary) In Proceedings

Compositional Operational Semantics of a UML-Kernel-Model language Article

Interacting process classes Article

A Component Coordination Model Based on Mobile Channels Article

Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article

A Component Coordination Model Based on Mobile Channels Article

Workflow

Workflow

Add Content