DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. (2015)

First Author: Abramsky S
Attributed to:  Structures at the Interface of Physics and Computer Science funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4204/eptcs.195.1

Publication URI: http://dx.doi.org/10.4204/eptcs.195.1

Type: Journal Article/Review

Parent Publication: Electronic Proceedings in Theoretical Computer Science