Boundedness analysis of finitely recursive processes. I. Concurrent processes

DOI10.1109/9.728869MaRDI QIDQ4506578zbMATH OpenOpenAlexFDO

Authors Supratik Bose, Amit Patra, Siddhartha Mukhopadhyay

Publication date 17 October 2000

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.728869

zbMATH Keywords

boundednessdecidabilitydiscrete-event systemsfinitely recursive process modelfiniteness

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Discrete event control/observation systems (93C65)

Recommendations

• Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
• On “Axiomatising Finite Concurrent Processes”
• On the power of bounded concurrency I
• Axiomatising Finite Concurrent Processes
• scientific article; zbMATH DE number 3990852
• scientific article; zbMATH DE number 17792
• scientific article; zbMATH DE number 125878
• scientific article; zbMATH DE number 4030960
• On the Knuth-Bendix completion for concurrent processes
• scientific article; zbMATH DE number 4050968

Cited in

(7)

• Simulating finitely recursive processes in LISP
• A nondeterministic extension over finitely recursive process model
• scientific article; zbMATH DE number 4050968 (Why is no real title available?)
• Finitely recursive process models for discrete event systems
• Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
• Structure theory of multi-level deterministically synchronized sequential processes
• Logical models of discrete even systems: a comparative exposition

This page was built for publication: Boundedness analysis of finitely recursive processes. I. Concurrent processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4506578)