Q3384919 (Q3384919): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
+Normal rank
@@ Property / cites work @@
+Q5111623
@@ Property / cites work: Q5111623 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+CCS(25,12) is Turing-complete
@@ Property / cites work: CCS(25,12) is Turing-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to concurrency theory. Transition systems and CCS
+Normal rank
@@ Property / cites work @@
+Q4365103
@@ Property / cites work: Q4365103 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Spi Calculus Using Nominal Techniques
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024855
@@ Property / cites work: Q3024855 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising a value-passing calculus in H0L
@@ Property / cites work: Formalising a value-passing calculus in H0L / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1
+Normal rank
@@ Property / cites work @@
+Formalising the pi-calculus using nominal logic
@@ Property / cites work: Formalising the pi-calculus using nominal logic / rank @@
+Normal rank
@@ Property / cites work @@
+New up-to techniques for weak bisimulation
@@ Property / cites work: New up-to techniques for weak bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Equations, Contractions, and Unique Solutions
@@ Property / cites work: Equations, Contractions, and Unique Solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Equations, Contractions, and Unique Solutions
@@ Property / cites work: Equations, Contractions, and Unique Solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of HOL4
@@ Property / cites work: A Brief Overview of HOL4 / rank @@
+Normal rank