Properties and utilization of capacitated automata (invited talk)

DOI10.4230/LIPICS.FSTTCS.2014.33MaRDI QIDQ3299222zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Tami Tamir

Publication date 19 July 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2014/4830/pdf/5.pdf/

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• On the capacity of capacitated automata
• Capacitated automata and systems
• Nominal automata for resource usage control
• R-Automata
• Cellular Resource-Driven Automata

Cited in

(5)

• Capacitated automata and systems
• On the capacity of capacitated automata
• Flow logic
• Flow logic
• scientific article; zbMATH DE number 7770050 (Why is no real title available?)

This page was built for publication: Properties and utilization of capacitated automata (invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3299222)