university website Publications by Year
  • sign in
  • Software Analysis and Transformation /
  • Chicago Journal of Theoretical Computer Science /
  • Article
  • Search

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

2005

CCS with Hennessy's merge has no finite-equational axiomatization

Publication

Publication

Chicago Journal of Theoretical Computer Science , Volume 330 - Issue 3 p. 377- 405

Additional Metadata
THEME Software (theme 1)
Journal Chicago Journal of Theoretical Computer Science
Organisation Software Analysis and Transformation
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Luttik, S.P. (2005). CCS with Hennessy's merge has no finite-equational axiomatization. Chicago Journal of Theoretical Computer Science, 330(3), 377–405.
Free Full Text ( Final Version , 336kb ) cover

See Also
bookChapter
Finite equational bases in process algebra: Results and open questions
L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
bookChapter
Finite equational bases in process algebra: Results and open questions
L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close