A nondeterministic extension over finitely recursive process model

DOI10.1023/A:1008251930588MaRDI QIDQ1361801zbMATH OpenOpenAlexFDO

Authors Supratik Bose, Siddhartha Mukhopadhyay, Amit Patra

Publication date 28 July 1997

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008251930588

zbMATH Keywords

discrete event systemsnondeterministic processesfinitely recursive process

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stochastic systems in control theory (general) (93E03)

Recommendations

• Finitely recursive process models for discrete event systems
• Finite approximations for model checking non-finite-state processes
• scientific article; zbMATH DE number 3970100
• scientific article; zbMATH DE number 4050968
• On Models of a Nondeterministic Computation
• scientific article; zbMATH DE number 3990852
• scientific article; zbMATH DE number 4051602
• Equational reasoning about nondeterministic processes
• On fixpoint logics and equivalences for processes with restricted nondeterminism
• Boundedness analysis of finitely recursive processes. I. Concurrent processes

Cited in

(2)

• Finitely recursive process models for discrete event systems
• Logical models of discrete even systems: a comparative exposition

This page was built for publication: A nondeterministic extension over finitely recursive process model

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