Search results

Articles (7)

Journals (0)

1-7 of 7 results for power bisimulation

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 1992

Relating Distributed,Temporal and Causal Observations of Simple Processes 1

Luca Aceto

Fundamenta Informaticae

Retricted access

Research article

First published 2001-1-1

Process algebra and non-interference

P.Y.A. Ryan, S.A. Schneider

Journal of Computer Security

Retricted access

Research article

First published 2009-5

Bisimulation Minimisation of Weighted Automata on Unranked Trees

Johanna Högberg, Andreas Maletti, Heiko Vogler

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-24

True Concurrent Equivalences in Time Petri Nets *

Irina Virbitskaite, Dmitry Bushin, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Improving Partial Order Reductions for Universal Branching Time Properties

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

Fundamenta Informaticae

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Retricted access

Research article

First published 2014-3

Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata

Hassan Motallebi, Mohammad Abdollahi Azgomi

Fundamenta Informaticae