university website Publications by Year
  • sign in
  • Software Analysis and Transformation /
  • Bulletin of the EATCS /
  • Article
  • Search

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

2006

Compositionality of Hennessy-Milner logic by structural operational semantics

Publication

Publication

Bulletin of the EATCS , Volume 354 p. 421- 440

Additional Metadata
THEME Software (theme 1)
Publisher E.A.T.C.S.
Journal Bulletin of the EATCS
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
Fokkink, W., van Glabbeek, R., & de Wind, P. (2006). Compositionality of Hennessy-Milner logic by structural operational semantics. Bulletin of the EATCS, 354, 421–440.

See Also
inProceedings
Divide and congruence applied to eta-bisimulation
W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind
inProceedings
Divide and congruence applied to eta-bisimulation
W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

university website
  • Address

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

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close