Filter Results

Select search scope: search across all journals or within the current journal

Search this journal

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

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

COMPOSITIONAL PROOFS FOR NETWORKS OF PROCESSES

Fundamenta Informaticae

Journal indexing and metrics

Journal Homepage Submission guidelines

Restricted access

Research article

First published online June, 1994

COMPOSITIONAL PROOFS FOR NETWORKS OF PROCESSES

Volume 20, Issue 1-3

https://doi.org/10.3233/FI-1994-201238

Abstract

Get full access to this article

View all access options for this article.

Browse journal

Current issue OnlineFirst All issues

Similar articles

Restricted access

Cognitive Processes Supporting Recognition in Complex and Dynamic Tasks

Restricted access

RETRACTED: Multi-attribute group decision making method based on some trapezoid intuitionistic fuzzy linguistic Bonferroni mean aggregation operators

Restricted access

Special Issue of Production and Operations Management : “Global Supply Chain Risk Management”

Restricted access

SIMULTANEOUS BATCHING AND SCHEDULING FOR CHEMICAL PROCESSING WITH EARLINESS AND TARDINESS PENALTIES