Adding recursion to Dpi (Q877023): Difference between revisions

@@ Property / author @@
+Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / 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.1016/j.tcs.2006.12.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2141216727
@@ Property / OpenAlex ID: W2141216727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Towards a behavioural theory of access and mobility control in distributed systems
+Normal rank
@@ Property / cites work @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for a fragment of concurrent ML with local names
+Normal rank