Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	395-409
Journal	Lecture Notes in Computer Science
Volume	7454
DOIs	https://doi.org/10.1007/978-3-642-32940-1_28
Publication status	Published - 2012

Proceedings title: Proc. 23rd Conference on Concurrency Theory - CONCUR'12
Publisher: Springer

Access to Document

@article{66c61a22fa134a29b996aa1243f2b9c0,

title = "Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics",

author = "D. Gebler and W.J. Fokkink",

note = "Proceedings title: Proc. 23rd Conference on Concurrency Theory - CONCUR'12 Publisher: Springer",

year = "2012",

doi = "10.1007/978-3-642-32940-1_28",

language = "English",

volume = "7454",

pages = "395--409",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

AU - Gebler, D.

AU - Fokkink, W.J.

N1 - Proceedings title: Proc. 23rd Conference on Concurrency Theory - CONCUR'12 Publisher: Springer

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-32940-1_28

DO - 10.1007/978-3-642-32940-1_28

M3 - Article

SN - 0302-9743

VL - 7454

SP - 395

EP - 409

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -