From π-calculus to higher-order π-calculus — and back (Q5044732): Difference between revisions

@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56610-4_62
+Normal rank
@@ Property / OpenAlex ID @@
+W2201760732
@@ Property / OpenAlex ID: W2201760732 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational semantics of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Issues in the design of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Q3829081
@@ Property / cites work: Q3829081 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank