Author:
Åman Pohjola Johannes,Parrow Joachim
Publisher
Open Publishing Association
Reference23 articles.
1. Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra;Baeten;Fundamenta Informaticae,1986
2. Psi-calculi: Mobile processes, nominal data, and logic;Bengtson,2009
3. Psi-calculi: A framework for mobile processes with nominal data and logic;Bengtson;Logical Methods in Computer Science,2011
4. Negative membership.;Blizard;Notre Dame Journal of Formal Logic,1990
5. The Meaning of Negative Premises in Transition System Specifications;Bol;J. ACM,1996
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献