Automata, circuits and hybrids: facets of continuous time
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
Streams, Stream Transformers and Domain Representations
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Automata, Circuits, and Hybrids: Facets of Continuous Time
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Theoretical Computer Science
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
On Equivalences for a Class of Timed Regular Expressions
Electronic Notes in Theoretical Computer Science (ENTCS)
From logic to theoretical computer science: an update
Pillars of computer science
Boris A. Trakhtenbrot: academic genealogy and publications
Pillars of computer science
Towards a theory of time-bounded verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
| Hi-index | 0.00 |
Synthesis and verification of systems are considered with respect to the specific trinity of abstraction-levels. At the highest level - specifications expressed as formulas based on Second Order Monadic Logic (SOML). At the intermediate level - formalization of transducers (i.e. transformers of input signals into output signals) via finite sequential automata. At the lower level - formalization of discrete synchronous hardware via logical nets. The lecture tackles the question: how and to what extent did The Trinity anticipate and promote developments in Logic and Computer Science?