Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines
Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2008.04.035
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2008
Authors
Publisher
Elsevier BV