×

The denotational semantics of dynamic networks of processes. (English) Zbl 0577.68041


MSC:

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