scientific article; zbMATH DE number 4050968

MaRDI QIDQ3787458zbMATH OpenFDO

Authors Kemal İnan, Pravin Varaiya

Publication date 1988

zbMATH Keywords

geometrycylindrical algebraic decompositiontracesquantifier eliminationcommunication protocolscontrol strategieselementary algebradiscrete event modelsfinite recursive processes

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Finitely recursive process models for discrete event systems
• Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
• On mechanical quantifier elimination for elementary algebra and geometry
• Boundedness analysis of finitely recursive processes. I. Concurrent processes
• scientific article; zbMATH DE number 3880114

Cited in

(7)

• Supervisory control of discrete event systems
• Finitely recursive process models for discrete event systems
• Final universes of processes
• Boundedness analysis of finitely recursive processes. I. Concurrent processes
• Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes
• Finitely dependent processes are finitary
• A nondeterministic extension over finitely recursive process model

This page was built for publication:

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