Sage Journals: Discover world-class research

Retricted access

Research article

First published 1981

On the Semantics of Parallel Programs

Tomasz Müldner

Fundamenta Informaticae

Retricted access

Research article

First published 1983

On Connections Between Parallel Programs and Nondeterministic Sequential Programs

Zenon Sadowski

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Iliano Cervesato, Thierry Sans

Fundamenta Informaticae

Retricted access

Research article

First published 2014-6

Towards a Formal Representation of Interactive Systems

Iulia Teodora Banu-Demergian, Gheorghe Stefanescu

Fundamenta Informaticae

Free access

Research article

First published 2019-4-5

Enhancing the scalability of expressive stream reasoning via input-driven parallelization

Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 1981

On the Compilation of Parallel Programs

Tomasz Müldner

Fundamenta Informaticae

Retricted access

Research article

First published 2002-3

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

Hanna Klaudel, Franck Pommereau

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs

Analoliy Doroshenko, Georgy Tseitlin

Fundamenta Informaticae

Retricted access

Research article

First published 1981

Implementation and Properties of Certain Tools for Parallel Computations

Tomasz Müldner

Fundamenta Informaticae

Retricted access

Research article

First published 2007-11

Transforming sequential processes of net systems into concurrent ones

Hoang Chi Thanh

International Journal of Knowledge-Based and Intelligent Engineering Systems

Search results