Capacitated automata and systems
From MaRDI portal
Publication:2280332
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
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)
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)