scientific article; zbMATH DE number 1070625
From MaRDI portal
Publication:4357065
zbMath0876.03015MaRDI QIDQ4357065
Piotr Kosiuczenko, Martin Wirsing
Publication date: 7 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemsreal-time systemsalgebraic specificationsdecidabilitydelaysrewriting logictime-dependent systemmodel class semanticsimprecise real-time constraintsnondeterministic term rewritingtime-sensitive systemstimed rewriting systems
Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Other applications of logic (03B80)
Related Items
This page was built for publication: