×

Found 9 Documents (Results 1–9)

Expressiveness modulo bisimilarity of regular expressions with parallel composition (extended abstract). (English) Zbl 1455.68083

Fröschle, Sibylle (ed.) et al., Proceedings of the 17th international workshop on expressiveness in concurrency, EXPRESS’10, Paris, France, August 30, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 41, 1-15 (2010).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: Link

A process-theoretic look at automata. (English) Zbl 1274.68155

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15–17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 1-33 (2010).
MSC:  68Q45 68Q05 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A basic parallel process as a parallel pushdown automaton. (English) Zbl 1291.68276

Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 35-48 (2009).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

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

A context-free process as a pushdown automaton. (English) Zbl 1160.68452

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 98-113 (2008).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software