A nondeterministic extension over finitely recursive process model

DOI10.1023/A:1008251930588zbMATH Open0881.93037OpenAlexW1559824330MaRDI QIDQ1361801FDOQ1361801

Siddhartha Mukhopadhyay, Amit Patra, Supratik Bose

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

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

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)

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)