Is Timed Branching Bisimilarity a Congruence Indeed?

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

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

DBLP:journals/fuin/FokkinkPW08

Persistent URL (handle)

@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 = "IOS Press",

number = "3-4",

}