Publication
Detail
Publication date: 01/09/2014Types and Logic, Concurrency and Non-Determinism
| URL | http://research.microsoft.com/apps/pubs/?id=226237 |
|---|---|
| Publisher | Microsoft Research |
| URL | http://research.microsoft.com/apps/pubs/?id=226237 |
| Publisher | Microsoft Research |