<http://ns.inria.fr/covid19/PMC7281862#body_text>	<http://purl.org/dc/terms/subject>	"Process calculi" .
<http://ns.inria.fr/covid19/PMC7281862#body_text>	<http://purl.org/dc/terms/subject>	"Synchronization" .
<http://ns.inria.fr/covid19/PMC7281862#body_text>	<http://purl.org/dc/terms/subject>	"Theoretical computer science" .
<http://ns.inria.fr/covid19/PMC7281862#body_text>	<http://purl.org/dc/terms/subject>	"1993 establishments in Lithuania" .
<http://ns.inria.fr/covid19/PMC7281862#body_text>	<http://purl.org/dc/terms/subject>	"Classical logic" .