A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda
Information Processing Letters - Netherlands
doi 10.1016/j.ipl.2014.09.014
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 1, 2015
Authors
Publisher
Elsevier BV