Model Checking Mobile Processes
暂无分享,去创建一个
[1] Colin Stirling,et al. Modal Logics for Communicating Systems , 1987, Theor. Comput. Sci..
[2] Davide Sangiorgi,et al. From pi-Calculus to Higher-Order pi-Calculus - and Back , 1993, TAPSOFT.
[3] E. Allen Emerson,et al. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus , 1989, Inf. Comput..
[4] David Walker,et al. Local Model Checking in the Modal mu-Calculus , 1991, Theoretical Computer Science.
[5] Rance Cleaveland,et al. Computing Behavioural Relations, Logically , 1991, ICALP.
[6] Bengt Jonsson,et al. Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs , 1989, Inf. Comput..
[7] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.
[8] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[9] Matthew Hennessy,et al. A Modal Logic for Message passing Processes (Extended Abstract) , 1993, CAV.
[10] Robin Milner,et al. Modal Logics for Mobile Processes , 1991, Theor. Comput. Sci..
[11] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.
[12] Glynn Winskel,et al. Compositional checking of satisfaction , 1991, Formal Methods Syst. Des..
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[14] David Michael Ritchie Park. Finiteness is Mu-Ineffable , 1976, Theor. Comput. Sci..
[15] Colin Stirling,et al. Modal and Temporal Logics for Processes , 1996, Banff Higher Order Workshop.
[16] Mads Dam. CTL* and ECTL* as Fragments of the Modal mu-Calculus , 1994, Theor. Comput. Sci..
[17] Kim G. Larsen,et al. Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.
[18] Matthew Hennessy,et al. Symbolic Bisimulations , 1995, Theor. Comput. Sci..
[19] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[20] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .