×

Found 9 Documents (Results 1–9)

100
MathJax

Complete trace models of state and control. (English) Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Higher-order linearisability. (English) Zbl 1442.68148

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 34, 18 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

A chart semantics for the pi-calculus. (English) Zbl 1277.68164

Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 3-29 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Classification

all top 3

Software