Capacitated automata and systems

DOI10.1016/J.IC.2019.104451zbMATH Open1435.68175OpenAlexW2971163426MaRDI QIDQ2280332FDOQ2280332

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic automata
• Title not available (Why is that?)
• Handbook of weighted automata
• Title not available (Why is that?)
• Specifying Concurrent Program Modules
• Title not available (Why is that?)
• Transformational design and implementation of a new efficient solution to the ready simulation problem
• Verification of parametric concurrent systems with prioritised FIFO resource management
• Properties and utilization of capacitated automata (invited talk)
• Bridging the gap between fair simulation and trace inclusion.

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
• Title not available (Why is that?)
• 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)