Article ID Journal Published Year Pages File Type
4951389 Journal of Logical and Algebraic Methods in Programming 2017 31 Pages PDF
Abstract
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching, initials finiteness and image finiteness.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
A unified rule format for bounded nondeterminism in SOS with terms as labels
Authors
, , , ,