Sage Journals: Discover world-class research

Retricted access

Research article

First published 1996-10

ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS

Flavio Corradini, Rocco De Nicola

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Quality Criteria for Partial Order Semantics of Place/Transition-Nets with Capacities

Robert Gold, Walter Vogler

Fundamenta Informaticae

Retricted access

Research article

First published 2022-09-22

RETRACTED: Investigation of features causing semantic mergers of English modal verbs by approach of attribute partial order diagram

Jianping Yu, Jilin Fu, Tana Bai [...]

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

Retricted access

Research article

First published 2000-8

Occurrence Net Logics

Stefan Haar

Fundamenta Informaticae

Retricted access

Research article

First published 2014-10

Closed Sets in Occurrence Nets with Conflicts

Luca Bernardinello, Carlo Ferigato, Stefan Haar [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1980

Completions of ordered magmas

Bruno Courcelle, Jean-Claude Raoult

Fundamenta Informaticae

Retricted access

Research article

First published 2010-11

Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Fundamenta Informaticae

Retricted access

Research article

First published 2007-4

Time in State Machines

Susanne Graf, Andreas Prinz

Fundamenta Informaticae

Retricted access

Research article

First published 2006-10

Note on Some Order Properties Related to Processes Semantics (I)

Dragoş Vaida

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Observational Equivalences for Timed Stable Event Structures

Maria V. Andreeva, Irina B. Virbitskaite

Fundamenta Informaticae

Search results