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 (15)

Journals (0)

1-10 of 15 results for step sequence semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Characterising Concurrent Histories

Retricted access

Research article

First published 2015-8

Characterising Concurrent Histories

Ryszard Janicki, Jetty Kleijn, Maciej Koutny [...]

Fundamenta Informaticae

Select article: Mutex Causality in Processes and Traces of General Elementary Nets

Retricted access

Research article

First published 2013-1

Mutex Causality in Processes and Traces of General Elementary Nets

Jetty Kleijn, Maciej Koutny

Fundamenta Informaticae

Select article: Algebraic Structure of Step Traces and Interval Traces

Retricted access

Research article

First published 2020

Algebraic Structure of Step Traces and Interval Traces

Ryszard Janicki, Łukasz Mikulski

Fundamenta Informaticae

Select article: An Operational Petri Net Semantics for A 2 CCS

Retricted access

Research article

First published 2011-5

An Operational Petri Net Semantics for A 2 CCS

Roberto Gorrieri, Cristian Versari

Fundamenta Informaticae

Select article: From Box Algebra to Interval Temporal Logic

Retricted access

Research article

First published 2019

From Box Algebra to Interval Temporal Logic

Hanna Klaudel, Maciej Koutny, Zhenhua Duan [...]

Fundamenta Informaticae

Select article: On the decidability of FDNC programs

Retricted access

Research article

First published 2011-2

On the decidability of FDNC programs

Piero A. Bonatti

Intelligenza Artificiale

Select article: Minimal Regions of ENL-Transition Systems

Retricted access

Research article

First published 2010-6

Minimal Regions of ENL-Transition Systems

Maciej Koutny, Marta Pietkiewicz-Koutny

Fundamenta Informaticae

Select article: Designing an Instructional Simulation for a Program Entry Panel

Retricted access

Other

First published 1993-12

Designing an Instructional Simulation for a Program Entry Panel

Michael B. Cowen

Simulation & Gaming

Select article: Processes of Petri Nets with Range Testing

Retricted access

Research article

First published 2007-10

Processes of Petri Nets with Range Testing

Jetty Kleijn, Maciej Koutny

Fundamenta Informaticae

Select article: Sequential linked data: The state of affairs

Open access

Research article

First published 2021-10-4

Sequential linked data: The state of affairs

Enrico Daga, Albert Meroño-Peñuela, Enrico Motta

Semantic Web: – Interoperability,Usability,Applicability

1
2
10 / page

Article type

Publication date

Subjects

Access