Items where Author / Artist / Editor is "Amjad, Hasan"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Bornat, Richard and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 (doi:https://doi.org/10.1007/s00165-011-0213-4)

Bornat, Richard and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6). pp. 735-772. ISSN 0934-5043 (doi:https://doi.org/10.1007/s00165-009-0141-8)

Amjad, Hasan and Bornat, Richard (2009) Towards automatic stability analysis for rely-guarantee proofs. In: Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, Neil D. and Müller-Olm, Markus, eds. Lecture Notes in Computer Science (5403). Springer, pp. 14-28. ISBN 9783540938996 (doi:https://doi.org/10.1007/978-3-540-93900-9_6)

This list was generated on Fri Sep 20 04:58:21 2019 BST.