YASIR, NIDA, THE UNIVERSITY OF LAHORE SARGODHA CAMPUS PAKISTAN, Pakistan

  • Vol 4, No 5 (2015): 01 March 2015 - Articles
    VERIFICATION TECHNIQUES TO AVOID DEADLOCKS ON CHANNEL CONTRACTSe have not found a discussion of channel contract realizability in the papers on Singularity. The Singularity project focuses on checking conformance of the client and server processes to the
    Abstract  PDF


ISSN : 2251-1563