×

Found 10 Documents (Results 1–10)

Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity. (English) Zbl 07649894

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Sequential composition in the presence of intermediate termination (extended abstract). (English) Zbl 1483.68221

Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 1-17 (2017).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: arXiv Link

Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008).
MSC:  68Q85 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software