© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Structured Technique for Concurrent Systems Design in Ada
P.H. Welch
In Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh, pages 182-196. Cambridge University Press, May 1986.Bibtex Record
@inproceedings{238, author = {P.H. Welch}, title = {{A Structured Technique for Concurrent Systems Design in Ada}}, month = {May}, year = {1986}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1986/238}, author_ids = {phw}, booktitle = {Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh}, publisher = {Cambridge University Press}, }