×

Found 12 Documents (Results 1–12)

A Petri net semantics of a simple process algebra for mobility. (English) Zbl 1273.68254

Baeten, Jos (ed.) et al., Proceedings of the 12th workshop on expressiveness in concurrency (EXPRESS 2005), San Francisco, CA, USA, August 27, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 154, No. 3, 71-94 (2006).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: Link

A Petri net translation of \(\pi \)-calculus terms. (English) Zbl 1168.68437

Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 138-152 (2006).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Petri net semantics of the finite \(\pi\)-calculus. (English) Zbl 1110.68417

de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 309-325 (2004).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

An algebra of non-safe Petri boxes. (English) Zbl 1275.68104

Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 192-207 (2002).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software