scientific article; zbMATH DE number 4050968

zbMATH Open0644.68038MaRDI QIDQ3787458FDOQ3787458

Authors: Kemal İnan, Pravin Varaiya 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

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)