Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-1-30

Bisimilarity for paraconsistent description logics

Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen [...]

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

Retricted access

Research article

First published 2022

Resource Bisimilarity in Petri Nets is Decidable

Irina A. Lomazova, Vladimir A. Bashkin, Petr Jančar

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka

Fundamenta Informaticae

Retricted access

Research article

First published 2008-9

Is Timed Branching Bisimilarity a Congruence Indeed?

Wan Fokkink, Jun Pang, Anton Wijs

Fundamenta Informaticae

Retricted access

Research article

First published 2010-11

Simple Bisimilarity Minimization in O(m log n) Time

Antti Valmari

Fundamenta Informaticae

Retricted access

Research article

First published 1997-7

Petri Nets,Commutative Context-Free Grammars,and Basic Parallel Processes

Javier Esparza

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 2015-9

A Causal View on Non-Interference *

Paolo Baldan, Alberto Carraro

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations

Denisa Diaconescu

Fundamenta Informaticae

Retricted access

Research article

First published 2002-6

Verification of Timed Automata Based on Similarity

Piotr Dembiński, Agata Półrola

Fundamenta Informaticae

Search results