Confluence of processes and systems of objects (Q5096733): Difference between revisions

@@ 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-59293-8_197
+Normal rank
@@ Property / OpenAlex ID @@
+W1520001874
@@ Property / OpenAlex ID: W1520001874 / rank @@
+Normal rank
@@ Property / cites work @@
+Issues in the design of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Constraining interference in an object-based design method
+Normal rank
@@ Property / cites work @@
+Concurrent manipulation of binary search trees
@@ Property / cites work: Concurrent manipulation of binary search trees / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient locking for concurrent operations on B-trees
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750150
@@ Property / cites work: Q3750150 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+π-Calculus semantics of object-oriented programming languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096733