Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems-Reference-Cited by-同舟云学术

Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems

Published:2007 Issue: Volume: Page:265-276
ISSN:0302-9743
Container-title:FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
language:
Short-container-title:

Author:

Chambart Pierre,Schnoebelen Philippe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77050-3_22

Reference15 articles.

1. Abdulla, P.A., Baier, C., Purushothaman Iyer, S., Jonsson, B.: Simulating perfect channels with probabilistic lossy channels. Information and Computation 197(1–2), 22–40 (2005)

2. Lecture Notes in Computer Science;P.A. Abdulla,2005

3. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation 127(2), 91–101 (1996)

4. Amadio, R., Meyssonnier, Ch.: On decidability of the control reachability problem in the asynchronous π-calculus. Nordic Journal of Computing 9(2), 70–101 (2002)

5. Chambard, P., Schnoebelen, Ph.: Post embedding problem is not primitive recursive, with applications to channel systems. Research Report LSV-07-28, Lab. Specification and Verification, ENS de Cachan, Cachan, France (September 2007)

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

1. Generalized Post Embedding Problems;Theory of Computing Systems;2014-09-07

2. The Power of Well-Structured Systems;CONCUR 2013 – Concurrency Theory;2013

3. Rational Subsets and Submonoids of Wreath Products;Automata, Languages, and Programming;2013

4. The Parametric Ordinal-Recursive Complexity of Post Embedding Problems;Lecture Notes in Computer Science;2013

5. Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian;Mathematical Foundations of Computer Science 2013;2013