×

Termination detection of diffusing computations in communicating sequential processes. (English) Zbl 0479.68025


MSC:

68N25 Theory of operating systems
PDFBibTeX XMLCite
Full Text: DOI Link