Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

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

doi:10.1007/978-3-540-45077-138

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

Abstract / Description of output

This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition method from LARSEN [14] for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead.

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.J. Nilsson
Place of Publication	Berlin / Heidelberg
Publisher	Springer
Pages	412-422
Number of pages	11
ISBN (Electronic)	978-3-540-45077-1
ISBN (Print)	978-3-540-40543-6
DOIs	https://doi.org/10.1007/978-3-540-45077-138
Publication status	Published - 29 Jul 2003
Event	14th International Symposium on Fundamentals of Computation Theory, 2003 - Malmö, Sweden Duration: 12 Aug 2003 → 15 Aug 2003 Conference number: 14

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin, Heidelberg
Volume	2751
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Symposium

Symposium	14th International Symposium on Fundamentals of Computation Theory, 2003
Abbreviated title	FCT 2003
Country/Territory	Sweden
City	Malmö
Period	12/08/03 → 15/08/03

Access to Document

10.1007/978-3-540-45077-138Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-540-45077-1_38Licence: All Rights Reserved

Cite this

Fokkink, W. J., van Glabbeek, R. J., & Wind, P. D. (2003). Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. In A. Lingas, & B. J. Nilsson (Eds.), Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings (pp. 412-422). (Lecture Notes in Computer Science; Vol. 2751). Springer. https://doi.org/10.1007/978-3-540-45077-138

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

@inproceedings{3c4f1d53d1054608b0cbe2e43f2680a7,

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

abstract = "This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition method from LARSEN [14] for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead.",

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

year = "2003",

month = jul,

day = "29",

doi = "10.1007/978-3-540-45077-138",

language = "English",

isbn = "978-3-540-40543-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "412--422",

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

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

address = "United Kingdom",

note = "14th International Symposium on Fundamentals of Computation Theory, 2003, FCT 2003 ; Conference date: 12-08-2003 Through 15-08-2003",

}

Fokkink, WJ, van Glabbeek, RJ & Wind, PD 2003, Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. in A Lingas & BJ Nilsson (eds), Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2751, Springer, Berlin / Heidelberg, pp. 412-422, 14th International Symposium on Fundamentals of Computation Theory, 2003, Malmö, Sweden, 12/08/03. https://doi.org/10.1007/978-3-540-45077-138

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Fokkink, W.J.

AU - van Glabbeek, R.J.

AU - Wind, P. de

N1 - Conference code: 14

PY - 2003/7/29

Y1 - 2003/7/29

N2 - This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition method from LARSEN [14] for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead.

AB - This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulae, obtained by decomposing the original formula. The method uses the structural operational semantics of the process algebra. The main contribution of this paper is that an earlier decomposition method from LARSEN [14] for the De Simone format is extended to the more general ntyft/ntyxt format without lookahead.

U2 - 10.1007/978-3-540-45077-138

DO - 10.1007/978-3-540-45077-138

M3 - Conference contribution

SN - 978-3-540-40543-6

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.J.

PB - Springer

CY - Berlin / Heidelberg

T2 - 14th International Symposium on Fundamentals of Computation Theory, 2003

Y2 - 12 August 2003 through 15 August 2003

ER -

Fokkink WJ, van Glabbeek RJ, Wind PD. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. In Lingas A, Nilsson BJ, editors, Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Berlin / Heidelberg: Springer. 2003. p. 412-422. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-45077-138

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

Abstract / Description of output

Publication series

Symposium

Access to Document

Fingerprint

Cite this