×

Using branching time temporal logic to synthesize synchronization skeletons. (English) Zbl 0514.68032


MSC:

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