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

See full list of headings
Export as [feed] Atom [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

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

Book Section

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

This list was generated on Fri Nov 16 04:47:41 2018 GMT.