You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (13)

Journals (0)

1-10 of 13 results for partial order theory of concurrency

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Behavioural Theory of Recursive Algorithms

Retricted access

Research article

First published 2020

A Behavioural Theory of Recursive Algorithms

Egon Börger, Klaus-Dieter Schewe

Fundamenta Informaticae

Select article: Hasse Diagram Generators and Petri Nets

Retricted access

Research article

First published 2010-11

Hasse Diagram Generators and Petri Nets

Mateus de Oliveira Oliveira

Fundamenta Informaticae

Select article: Closed Sets in Occurrence Nets with Conflicts

Retricted access

Research article

First published 2014-10

Closed Sets in Occurrence Nets with Conflicts

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

Fundamenta Informaticae

Select article: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems

Retricted access

Research article

First published 2002-4

Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems

Marta Pietkiewicz-Koutny

Fundamenta Informaticae

Select article: Introduction to Probabilistic Concurrent Systems

Retricted access

Research article

First published 2022

Introduction to Probabilistic Concurrent Systems

Samy Abbes

Fundamenta Informaticae

Select article: Time and Duration in Noninterleaving Concurrency

Retricted access

Research article

First published 1993

Time and Duration in Noninterleaving Concurrency

David Murphy

Fundamenta Informaticae

Select article: Modelling Nondeterministic Concurrent Processes with Event Structures

Retricted access

Research article

First published 1991

Modelling Nondeterministic Concurrent Processes with Event Structures

Rita Loogen, Ursula Goltz

Fundamenta Informaticae

Select article: On the arithmetic intensity of high-order finite-volume discretizations for hyperbolic systems of conservation laws

Retricted access

Research article

First published 2019-1

On the arithmetic intensity of high-order finite-volume discretizations for hyperbolic systems of conservation laws

J Loffeld, JAF Hittinger

The International Journal of High Performance Computing Applications

Select article: An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Retricted access

Research article

First published 2009-11

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Józef Winkowski

Fundamenta Informaticae

Select article: Occurrence Net Logics

Retricted access

Research article

First published 2000-8

Occurrence Net Logics

Stefan Haar

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access