Searching for authors named "Ranko Lazic" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On a Semantic Definition of Data Independence
- …On a Semantic Denition of Data Independence ? Ranko Lazic 1?? and David Nowak 2 1 Department…
- Add To MetaCart
-
Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays (Extended Abstract)
- …Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays (Extended Abstract) Ranko…
- Cited by 13 (7 self) – Add To MetaCart
-
Data Independence with Generalised Predicate Symbols
- …Data Independence with Generalised Predicate Symbols Ranko Lazic and Bill Roscoe y Oxford…
- Cited by 5 (2 self) – Add To MetaCart
-
A Unifying Approach to Data-independence
- …A Unifying Approach to Data-independence ? Ranko Lazic ?? and David Nowak Oxford University…
- Cited by 14 (6 self) – Add To MetaCart
Showing 1 through 4.
