×

zbMATH — the first resource for mathematics

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

MSC:
68N25 Theory of operating systems
PDF BibTeX XML Cite
Full Text: DOI