On Unique Decomposition of Processes in the Applied π-Calculus-Reference-Cited by-同舟云学术

On Unique Decomposition of Processes in the Applied π-Calculus

Published:2013 Issue: Volume: Page:50-64
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dreier Jannik,Ene Cristian,Lafourcade Pascal,Lakhnech Yassine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37075-5_4

Reference15 articles.

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2001, pp. 104–115. ACM, New York (2001)

2. Christensen, S.: Decidability and Decompostion in Process Algebras. PhD thesis, School of Computer Science, University of Edinburgh (1993)

3. Lecture Notes in Computer Science;J. Dreier,2012

4. Dreier, J., Lafourcade, P., Lakhnech, Y.: On parallel factorization of processes in the applied pi calculus. Technical Report TR-2012-3, Verimag Research Report (March 2012), http://www-verimag.imag.fr/TR/TR-2012-3.pdf

5. Lecture Notes in Computer Science;J.F. Groote,1992

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research on concurrency comparison modeling based on $$\uppi $$ π calculus in future computer technology;Cluster Computing;2018-01-09

2. Sorting realization of well-ordered sets based on π-calculus;Journal of Intelligent & Fuzzy Systems;2017-04-24

3. A procedure for splitting data-aware processes and its application to coordination;Science of Computer Programming;2016-01

4. On the existence and decidability of unique decompositions of processes in the applied π-calculus;Theoretical Computer Science;2016-01

5. Unique parallel decomposition in branching and weak bisimulation semantics;Theoretical Computer Science;2016-01