• Published

  The Algorithmics of Bisimilarity

  Publication: Research - peer-review › Book chapter

• Published

  Reactive Systems : Modelling, Specification and Verification

  Publication: Education › Book

• Published

  A finite equational base for CCS with left merge and communication merge

  Publication: Research - peer-review › Article in proceeding

View all »

• Springer, 0-387

  Central database

  Publisher

• Cambridge University Press, 0-521

  Central database

  Publisher

• IEEE Computer Society Press, 0-7695

  United States

  Central database

  Publisher

• BRICS - Aarhus University

  Local database

  Publisher

• Department of Computer Science, Aarhus University

  Denmark

  Local database

  Publisher

View all »

• Theoretical Computer Science

  ISSNs: 0304-3975

  Elsevier BV, Netherlands

  Central database

  Journal

• Information and Computation

  ISSNs: 0890-5401

  Academic Press, United States

  Central database

  Journal

• Information Processing Letters

  ISSNs: 0020-0190

  Elsevier BV, Netherlands

  Central database

  Journal

• R A I R O - Theoretical Informatics and Applications

  ISSNs: 0988-3754, 1290-385X

  E D P Sciences, France

  Central database

  Journal

• Mathematical Structures in Computer Science

  ISSNs: 0960-1295

  Cambridge University Press, United Kingdom

  Central database

  Journal

View all »