Sage Journals: Discover world-class research

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 1999-4

Bisimulation and Open Maps for Timed Transition Systems

Mogens Nielsen, Thomas Hune

Fundamenta Informaticae

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

On the Relationships among four Timed Process Algebras

Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Analysis of Timed Concurrent Models Based on Testing Equivalence

Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite

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

Reachability Analysis for Timed Automata Using Partitioning Algorithms

Agata Półrola, Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Dynamic Congruence vs. Progressing Bisimulation for CCS 1

Ugo Montanari, Vladimiro Sassone

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Relating Distributed,Temporal and Causal Observations of Simple Processes 1

Luca Aceto

Fundamenta Informaticae

Search results