3 research outputs found
Divergence-Preserving Branching Bisimilarity
This note considers the notion of divergence-preserving branching
bisimilarity. It briefly surveys results pertaining to the notion that have
been obtained in the past one-and-a-half decade, discusses its role in the
study of expressiveness of process calculi, and concludes with some suggestions
for future work.Comment: In Proceedings EXPRESS/SOS 2020, arXiv:2008.1241
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
We prove that rooted divergence-preserving branching bisimilarity is a
congruence for the process specification language consisting of nil, action
prefix, choice, and the recursion construct
Dynamic optimization through the use of automatic runtime specialization
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.Includes bibliographical references (leaves 99-115).by John Whaley.S.B.and M.Eng