A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations (Q2841231): Difference between revisions

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/ZF
@@ Property / describes a project that uses: Isabelle/ZF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945200
@@ Property / cites work: Q4945200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536340
@@ Property / cites work: Q4536340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536440
@@ Property / cites work: Q4536440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790662
@@ Property / cites work: Q4790662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365103
@@ Property / cites work: Q4365103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535076
@@ Property / cites work: Q4535076 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus in (Co)inductive-type theory
@@ Property / cites work: \(\pi\)-calculus in (Co)inductive-type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculus and type theory formalized
@@ Property / cites work: Some lambda calculus and type theory formalized / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / 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 @@
+Q2769442
@@ Property / cites work: Q2769442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778886
@@ Property / cites work: Q2778886 / rank @@
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00276-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2031176814
@@ Property / OpenAlex ID: W2031176814 / rank @@
+Normal rank