Browsing by Subject "labelled transition systems"
Now showing items 1-1 of 1
(University of Waikato, Department of Computer Science, 2003-05)When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement ...