scientific article

zbMath0644.68038MaRDI QIDQ3787458

Kemal İnan, Pravin P. Varaiya

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

geometryquantifier eliminationcylindrical algebraic decompositiontracescontrol strategiescommunication protocolselementary algebradiscrete event modelsfinite recursive processes

Mathematics Subject Classification ID

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

Related Items (1)

Supervisory control of discrete event systems

This page was built for publication: