Full abstraction for a shared-variable parallel language

From MaRDI portal
Publication:1923100

DOI10.1006/inco.1996.0056zbMath0856.68037OpenAlexW2147218830MaRDI QIDQ1923100

Stephen Brookes

Publication date: 1 October 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0056




Related Items