Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-5

Language Classes Defined by Concurrent Finite Automata

Matthias Jantzen, Manfred Kudlek, Georg Zetzsche

Fundamenta Informaticae

Retricted access

Research article

First published 1998-1

CR-Structures

Vincent Schmitt

Fundamenta Informaticae

Retricted access

Research article

First published 2006-10

Event Structures with Disabling/Enabling Relation and Event Automata

G. Michele Pinna

Fundamenta Informaticae

Retricted access

Research article

First published 2011-10

A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices

Martin Huschenbett

Fundamenta Informaticae

Retricted access

Research article

First published 1985-12

Automatic Thoughts Questionnaire: A Study of Concurrent Validity

Paul A. Deardorff, Julia A. McIntosh, Catherine A. Adamek [...]

Psychological Reports

Retricted access

Research article

First published 2015-9

Factored Cost-Optimal Planning Using Message Passing Algorithms *

Loïg Jezequel, Eric Fabre

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12

Automatic as-built modeling for concurrent progress tracking of plant construction based on laser scanning

Jian Chai, Hung-Lin Chi, Xiangyu Wang [...]

Concurrent Engineering

Retricted access

Research article

First published 2008-5

Petri Net Controlled Finite Automata

Berndt Farwer, Matthias Jantzen, Manfred Kudlek [...]

Fundamenta Informaticae

Free access

Research article

First published 2015-11

Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

Tatjana Kapus

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1991

Deterministic Concurrent Systems

Joram Hirshfeld

Fundamenta Informaticae

Search results