Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-6

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems

Natalya Gribovskaya, Irina Virbitskaite

Fundamenta Informaticae

Retricted access

Research article

First published 1992

On Some Equivalence Relations for Probabilistic Processes 1

Dung T. Huynh, Lu Tian

Fundamenta Informaticae

Retricted access

Research article

First published 2005-8-24

Information flow in secure contexts

Annalisa Bossi, Damiano Macedonio, Carla Piazza [...]

Journal of Computer Security

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 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 1991

Axiom System Induced by CTL* Logic

Maciej Koutny

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Wan Fokkink

Fundamenta Informaticae

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 2012-10

Unifying Equivalences for Higher Dimensional Automata

Elena Oshevskaya, Irina Virbitskaite, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Dynamic Congruence vs. Progressing Bisimulation for CCS 1

Ugo Montanari, Vladimiro Sassone

Fundamenta Informaticae

Search results