Sciweavers

Extending the theory of Owicki and Gries with a logic of progress
Recent countries visiting this post
Extending the theory of Owicki and Gries with a logic of progress
us3United States
ru1Russian Federation