Search results

Articles (4)

Journals (0)

1-4 of 4 results for Weak and branching bisimulation

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2021

Causal Semantics for BPP Nets with Silent Moves

Roberto Gorrieri

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

Valentina Castiglioni, Ruggero Lanotte, Simone Tini

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3-4

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Wojciech Penczek, Maciej Szreter, Rob Gerth [...]

Fundamenta Informaticae