×

Found 2 Documents (Results 1–2)

100
MathJax

Can determinism and compositionality coexist in RML? (English) Zbl 07453961

Dardha, Ornela (ed.) et al., Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 322, 13-32 (2020).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: arXiv Link

Filter Results by …

Document Type

Reviewing State

Year of Publication

Classification

Software