Systematic development of concurrent object-oriented programs

Publication
Electronic Notes in Theoretical Computer Science
comments powered by Disqus