Is Timed Branching Bisimilarity a Congruence Indeed?

W.J. Fokkink, J. Pang, A. Wijs

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

Original language	English
Pages (from-to)	287-311
Journal	Fundamenta Informaticae
Volume	87
Issue number	3-4
Publication status	Published - 2008

Bibliographical note

DBLP:journals/fuin/FokkinkPW08

Persistent URL (handle)

Persistent link

Other files and links

Cite this

@article{5d89fac67cd14fac994ae268b6e40736,

title = "Is Timed Branching Bisimilarity a Congruence Indeed?",

author = "W.J. Fokkink and J. Pang and A. Wijs",

note = "DBLP:journals/fuin/FokkinkPW08 ",

year = "2008",

language = "English",

volume = "87",

pages = "287--311",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "3-4",

}

TY - JOUR

T1 - Is Timed Branching Bisimilarity a Congruence Indeed?

AU - Fokkink, W.J.

AU - Pang, J.

AU - Wijs, A.

N1 - DBLP:journals/fuin/FokkinkPW08

PY - 2008

Y1 - 2008

UR - https://www.scopus.com/pages/publications/58149489167

UR - https://www.scopus.com/inward/citedby.url?scp=58149489167&partnerID=8YFLogxK

M3 - Article

SN - 0169-2968

VL - 87

SP - 287

EP - 311

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 3-4

ER -