Branching Bisimilarity with Explicit Divergence

R.J. van Glabbeek, B. Luttik, N. Trcka

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

Access to Document

@article{c97f1906cead421cbd762f729afb1a8f,

title = "Branching Bisimilarity with Explicit Divergence",

author = "{van Glabbeek}, R.J. and B. Luttik and N. Trcka",

year = "2009",

doi = "10.3233/FI-2009-109",

language = "English",

volume = "93",

pages = "371--392",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "4",

}