Meldal, Sigurd Partial correctness of exits from concurrent structures. (English) Zbl 0599.68029 BIT 26, 295-302 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{S. Meldal}, BIT 26, 295--302 (1986; Zbl 0599.68029) Full Text: DOI
Meldal, Sigurd An axiomatic semantics for nested concurrency. (English) Zbl 0594.68026 BIT 26, 164-174 (1986). MSC: 68N25 PDFBibTeX XMLCite \textit{S. Meldal}, BIT 26, 164--174 (1986; Zbl 0594.68026) Full Text: DOI