A Complete Symbolic Bisimilarity for an Extended Spi Calculus
Johannes Borgström · Electronic Notes in Theoretical Computer Science · 2009
Several symbolic notions of bisimilarity have been defined for the spi calculus and the applied pi calculus. In this paper, we treat a spi calculus with a general constructor-destructor message algebra, and define a symbolic bisimilarity that is both sound and complete with respect to its concrete counterpart.