Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

W.J. Fokkink, R.J. van Glabbeek, P. de Wind

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
Editors	A. Lingas, B. Nilsson
Publisher	Springer
Pages	412-422
Publication status	Published - 2003

Name	Lecture Notes in Computer Science

DBLP:conf/fct/FokkinkGW03

Handle.net

@inproceedings{e4955367e6c04b07a1ec1c869919bd1b,

title = "Compositionality of Hennessy-Milner Logic through Structural Operational Semantics",

author = "W.J. Fokkink and {van Glabbeek}, R.J. and {de Wind}, P.",

note = "DBLP:conf/fct/FokkinkGW03 ",

year = "2003",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "412--422",

editor = "A. Lingas and B. Nilsson",

booktitle = "Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malm{\"o}, Sweden, August 12-15, 2003, Proceedings",

}

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. / Fokkink, W.J.; van Glabbeek, R.J.; de Wind, P.
Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. ed. / A. Lingas; B. Nilsson. Springer, 2003. p. 412-422 (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

AU - Fokkink, W.J.

AU - van Glabbeek, R.J.

AU - de Wind, P.

N1 - DBLP:conf/fct/FokkinkGW03

PY - 2003

Y1 - 2003

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 412

EP - 422

BT - Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings

A2 - Lingas, A.

A2 - Nilsson, B.

PB - Springer

ER -