National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Xu, Q
URI:
http://urn.fi/URN:NBN:fi:au:pn:000081204
name
Xu, Q
Authored works
Laws of parallel programming with shared variables
On unifying assumption-commitment style proof rules for concurrency
Works contributed to
Fairness in action systems
Works about Xu, Q
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD