Capacitated automata and systems

DOI10.1016/J.IC.2019.104451MaRDI QIDQ2280332zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Sarai Sheinvald

Publication date 18 December 2019

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2019.104451

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• On the capacity of capacitated automata
• Properties and utilization of capacitated automata (invited talk)
• A comparison of succinctly represented finite-state systems
• scientific article; zbMATH DE number 1927559
• Quantitative languages

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3174052 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 1048047 (Why is no real title available?)
• scientific article; zbMATH DE number 2038747 (Why is no real title available?)
• Bridging the gap between fair simulation and trace inclusion.
• Handbook of weighted automata
• Probabilistic automata
• Properties and utilization of capacitated automata (invited talk)
• Specifying Concurrent Program Modules
• Transformational design and implementation of a new efficient solution to the ready simulation problem
• Verification of parametric concurrent systems with prioritised FIFO resource management

Cited in

(4)

• Special issue: selected papers of the 10th international conference on language and automata theory and applications, LATA 2016
• On the capacity of capacitated automata
• scientific article; zbMATH DE number 7770050 (Why is no real title available?)
• Properties and utilization of capacitated automata (invited talk)

This page was built for publication: Capacitated automata and systems

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