author : Martin Buchi

Papers/Articles

• Compositional Symmetric Sharing in B. 1999. In FM'99 volume 1