Assertion: cloud computing system | /r/CapableOf | use coordinate
Facets:
Source sentences:
text: Ken Birman has been developing a new library for building highly assured cloud computing systems that use replication and coordinate actions; he calls it Isis2