Data flow analysis of communicating finite state machines

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1991-07, Vol.13 (3), p.399-442
Hauptverfasser:	Peng, Wuxu, Puroshothaman, S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Approximation algorithms analysis Architectures Cellular architectures Computer science control theory systems Computer systems organization Design and analysis of algorithms Emerging technologies Exact sciences and technology Formal languages and automata theory Hardware Machine learning theory Models of computation Online algorithms Online learning algorithms Parallel architectures Quantum dots and cellular automata Quantum technologies Reinforcement learning Scheduling algorithms Sequential decision making Theoretical computing Theory and algorithms for application domains Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!