Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Amadio and M. Dam. Toward a modal theory of types for the π-calculus. In Proc. Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala 96, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
2. M. Dam. Model checking mobile processes. In E. Best, editor, Proceedings CONCUR 93, Hildesheim, volume 715 of Lecture Notes in Computer Science, pages 22–36. Springer-Verlag, 1993.
3. D. Gurov, S. Berezin, and B. Kapron. A modal μ-calculus and a proof system for value-passing processes. In Proc. Infinity Workshop on Verification of Infinite State Systems, Pisa, pages 149–163, 1996.
4. M. Hennessy and H. Lin. Symbolic bisimulations. Theoretical Computer Science, 138:353–389, 1995.
5. M. Hennessy and H. Lin. Proof systems for message-passing process algebras. Formal Aspects of Computer Science, pages 379–407, 1996.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bidirectional Runtime Enforcement of First-Order Branching-Time Properties;Logical Methods in Computer Science;2023-02-28
2. On Bidirectional Runtime Enforcement;Formal Techniques for Distributed Objects, Components, and Systems;2021
3. A Modal Logic for π-Calculus and Model Checking Algorithm;Electronic Notes in Theoretical Computer Science;2005-03
4. Fast Generic Model-Checking for Data-Based Systems;Formal Techniques for Networked and Distributed Systems - FORTE 2005;2005
5. Model checking real-time value-passing systems;Journal of Computer Science and Technology;2004-07