<http://experiment.worldcat.org/entity/work/data/2242960590.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/2242960590.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/2242960590> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2734583668> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/workExample> <http://www.worldcat.org/oclc/897668652> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85097826> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.worldcat.org/fast/1052928> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.worldcat.org/fast/906987> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642053673> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2707623251> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/workExample> <http://www.worldcat.org/oclc/23598370> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003487> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/name> "An assertional correctness proof of a distributed mutual exclusion algorithm based on path reversal" .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/name> "An assertional correctness proof of a distributed mutual exclusion algorithm based on path reversal"@en .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/2242960590> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85042293> .
<http://worldcat.org/entity/work/id/2242960590> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .