Battery transition systems

DOI10.1145/2535838.2535875zbMath1284.68382DBLPconf/popl/BokerHR14OpenAlexW1969205728WikidataQ62580449 ScholiaQ62580449MaRDI QIDQ5408452

Arjun Radhakrishna, Udi Boker, Thomas A. Henzinger

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535875

zbMATH Keywords

transition systems

Mathematics Subject Classification ID

Multivariable systems, multidimensional control systems (93C35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines

This page was built for publication: Battery transition systems