Bisimilarity as a theory of functional programming
The objektive of this paper is to use CCS-style labbelled transitions and bisimilarity to offer a new perspective on the behavior of functional programs. Morris-style contextual equivalence is characterized in terms of reduction behavior and production of values.
scientific article; zbMATH DE number 1495179