A theory for observational fault tolerance (Q2643332): Difference between revisions

@@ Property / author @@
-Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
-Normal rank
@@ 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 / OpenAlex ID @@
+W1561550178
@@ Property / OpenAlex ID: W1561550178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470506
@@ Property / cites work: Q4470506 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A theory for observational fault tolerance
@@ Property / cites work: A theory for observational fault tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence for process verification
@@ Property / cites work: Confluence for process verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a behavioural theory of access and mobility control in distributed systems
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+On confluence in the π-calculus
@@ Property / cites work: On confluence in the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2739560
@@ Property / cites work: Q2739560 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2643332