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

Journals (0)

1-10 of 55 results for synthesis of concurrent systems

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems

Retricted access

Research article

First published 2013-9

ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems

Zbigniew Suraj, Krzysztof Pancerz

Fundamenta Informaticae

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: 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: Quasi-static Scheduling for Concurrent Architectures

Retricted access

Research article

First published 2004-9

Quasi-static Scheduling for Concurrent Architectures

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno [...]

Fundamenta Informaticae

Select article: Building Occurrence Nets from Reveals Relations

Retricted access

Research article

First published 2013-5

Building Occurrence Nets from Reveals Relations

Sandie Balaguer, Thomas Chatain, Stefan Haar

Fundamenta Informaticae

Select article: Using Declarative Specifications and Case-based Planning for System Synthesis

Retricted access

Other

First published 1994-12

Using Declarative Specifications and Case-based Planning for System Synthesis

Perry Alexander, Phillip Baraona, John Penix

Concurrent Engineering

Select article: Automating Synthesis of Asynchronous Communication Mechanisms

Retricted access

Research article

First published 2007-6

Automating Synthesis of Asynchronous Communication Mechanisms

Kyller Gorgônio, Jordi Cortadella, Fei Xia [...]

Fundamenta Informaticae

Select article: Discovery of Asynchronous Concurrent Models from Experimental Tables

Retricted access

Research article

First published 2004-6

Discovery of Asynchronous Concurrent Models from Experimental Tables

Krzysztof Pancerz, Zbigniew Suraj

Fundamenta Informaticae

Select article: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs

Retricted access

Research article

First published 1999-11

The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs

Marta Pietkiewicz-Koutny

Fundamenta Informaticae

Select article: Synthesis of Petri Net Models: A Rough Set Approach

Retricted access

Research article

First published 2003-5

Synthesis of Petri Net Models: A Rough Set Approach

Krzysztof Pancerz, Zbigniew Suraj

Fundamenta Informaticae

1
2
3
•••
6
10 / page

Article type

Publication date

Subjects

Access