Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation

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

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation

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

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

Original language	English
Pages (from-to)	195-218
Journal	Lecture Notes in Computer Science
Volume	4111
Publication status	Published - 2005

Bibliographical note

DBLP:conf/fmco/FokkinkGW05
Proceedings title: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Publisher: Springer
Editors: F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever

Persistent URL (handle)

Persistent link

Cite this

@article{9b6b4b40ebcc408e83a15d4ed84ebfdc,

title = "Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation",

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

note = "DBLP:conf/fmco/FokkinkGW05 Proceedings title: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Publisher: Springer Editors: F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever",

year = "2005",

language = "English",

volume = "4111",

pages = "195--218",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

}

TY - JOUR

T1 - Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation

AU - Fokkink, W.J.

AU - van Glabbeek, R.J.

AU - de Wind, P.

N1 - DBLP:conf/fmco/FokkinkGW05 Proceedings title: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Publisher: Springer Editors: F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever

PY - 2005

Y1 - 2005

M3 - Article

SN - 0302-9743

VL - 4111

SP - 195

EP - 218

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -