Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-10

Comparing Refinements for Failure and Bisimulation Semantics

Rik Eshuis, Maarten M. Fokkinga

Fundamenta Informaticae

Retricted access

Research article

First published 1997-12

An Axiomatization for Regular Processes in Timed Branching Bisimulation

Wan Fokkink

Fundamenta Informaticae

Retricted access

Research article

First published 2019-02-16

Multi-valued bisimulation quotienting algorithms 1

Deng Hui, Li Zhi

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2003-5

Petri nets and resource bisimulation

Vladimir A. Bashkin, Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

A Specification Format for Rooted Branching Bisimulation

Valentina Castiglioni, Ruggero Lanotte, Simone Tini

Fundamenta Informaticae

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 2008-3

A Relation-Algebraic Theory of Bisimulations

Michael Winter

Fundamenta Informaticae

Retricted access

Research article

First published 2019-12-23

Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations

Linh Anh Nguyen, Ngoc-Thanh Nguyen

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2010-3-22

Symbolic bisimulation for the applied pi calculus *

Stéphanie Delaune, Steve Kremer, Mark D. Ryan

Journal of Computer Security

Retricted access

Research article

First published 1996-5

A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Wan Fokkink

Fundamenta Informaticae

Search results