BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup - Checking - Document - PDFSEARCH.IO

First Page	Meta Content
	BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup & Jensen: Checking for Open Bisimilarity in the π-Calculus Add to Reading List Document Date: 2001-03-02 07:43:16 Open Document File Size: 385,31 KB Share Result on Facebook

BRICS Basic Research in Computer Science BRICS RS-01-8 Frendrup & Jensen: Checking for Open Bisimilarity in the π-CalculusAdd to Reading List