Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-11

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Nadia Busi, G. Michele Pinna

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

Retricted access

Research article

First published 1999-11

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Nadia Busi, G. Michele Pinna

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

J.W. de Bakker, E.P. de Vink

Fundamenta Informaticae

Retricted access

Research article

First published 2002-4

Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems

Marta Pietkiewicz-Koutny

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-24

True Concurrent Equivalences in Time Petri Nets *

Irina Virbitskaite, Dmitry Bushin, Eike Best

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

Online processing of the grammatical aspect marker by L2 Chinese learners

Lijuan Liang, Vasiliki Chondrogianni, Baoguo Chen

Second Language Research

Free access

Other

First published 2010-02

Which Presidents Are Most Memorable?

Gayatri Devi, Emiliya Zhivotovskaya, Sarah Schultz

American Journal of Alzheimer's Disease & Other Dementias®

Retricted access

Research article

First published 1996-10

The Effect of Configural Graphs on Concurrent and Retrospective Performance

Karel Hurts

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results