A ground-complete axiomatization of stateless bisimilarity over Linda ?
A finite, ground-complete axiomatization of stateless bisimilarity over Linda is offered. Stateless bisimilarity is just bisimilarity in the absence of the nask primitive.
stateless bisimilarity linda concurrency process algebra equational logic