Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022-03-04

Computing crisp simulations for fuzzy labeled transition systems

Linh Anh Nguyen

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

Retricted access

Research article

First published 2021

Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

Raymond Devillers

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 1988

Event Structure Representation of the Behaviour of Place/Transition Systems

Józef Winkowski

Fundamenta Informaticae

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 2020

Causal Reasoning for Safety in Hennessy Milner Logic

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundamenta Informaticae

Retricted access

Research article

First published 1988

A Non-Interleaving Semantics for CCS Based on Proved Transitions

Gérard Boudol, Ilaria Castellani

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Multiplicative Transition Systems

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Least-cost planning sequence estimation in labelled Petri nets

Lingxi Li, Christoforos N. Hadjicostis

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1999-11

The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs

Marta Pietkiewicz-Koutny

Fundamenta Informaticae

Search results