Sciweavers

JCSS
2000

Rooted Branching Bisimulation as a Congruence

13 years 10 months ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote's ntyft format. It extends an earlier format by Bloom with standard notions such as recursion, iteration, predicates, and negative premises.
Wan Fokkink
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where JCSS
Authors Wan Fokkink
Comments (0)