×

Found 10 Documents (Results 1–10)

On the expressive power of restriction and priorities in CCS with replication. (English) Zbl 1234.68284

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 242-256 (2009).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On recursion, replication and scope mechanisms in process calculi. (English) Zbl 1147.68587

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 185-206 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

CCS with replication in the Chomsky hierarchy: The expressive power of divergence. (English) Zbl 1138.68038

Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 383-398 (2007).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software