Q5155663 (Q5155663): Difference between revisions

@@ Property / describes a project that uses @@
+MWB
@@ Property / describes a project that uses: MWB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPEC
@@ Property / describes a project that uses: SPEC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence and unique solution of equations
@@ Property / cites work: Divergence and unique solution of equations / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Q2852066
@@ Property / cites work: Q2852066 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-level logic approach to reasoning about computations
+Normal rank
@@ Property / cites work @@
+Quasi-Open Bisimilarity with Mismatch is Intuitionistic
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009710
@@ Property / cites work: Q5009710 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing strong and weak bisimulations for psi-calculi
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof method for bisimulation
@@ Property / cites work: On the proof method for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof search specifications of bisimulation and modal logics for the π-calculus
+Normal rank
@@ Property / cites work @@
+SPEC: An Equivalence Checker for Security Protocols
+Normal rank