<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Three Logics for Branching Bisimulation"^^ . "Three temporal logics are introduced that induce on labeled transition systems the same identifications as branching bisimulation, a behavioral equivalence that aims at ignoring invisible transitions while preserving the branching structure of systems. The first logic is an extension of Hennessy-Milner Logic with an “until” operator. The second one is another extension of Hennessy-Milner Logic, which exploits the power of backward modalities. The third logic is CTL* without the next-time operator. A relevant side-effect of the last characterization is that it sets a bridge between the state- and action-based approaches to the semantics of concurrent systems."^^ . "1995" . "42" . "2" . . "ACM"^^ . . . "J. ACM"^^ . . . "00045411" . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Frits W."^^ . "Vaandrager"^^ . "Frits W. Vaandrager"^^ . . . . . "HTML Summary of #365 \n\nThree Logics for Branching Bisimulation\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .