A unified approach for equivalence relations of indeterministic distributed systems (with application to network protocols).
Recent Activity - Last 12 Months
uO Research has been collecting usage data since January 2013. To the best of our ability, this data excludes entries from search engines. Statistics are available at the item, collection and repository level.