A calculus of quality for robustness against unreliable communication (Q492911): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.04.002
@@ Property / DOI: 10.1016/j.jlamp.2015.04.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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.jlamp.2015.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W854809509
@@ Property / OpenAlex ID: W854809509 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+A new natural structural congruence in the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A π-calculus with explicit substitutions: The late semantics
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673427
@@ Property / cites work: Q4673427 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038690
@@ Property / cites work: Q4038690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety versus Security in the Quality Calculus
@@ Property / cites work: Safety versus Security in the Quality Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of quality for robustness against unreliable communication
+Normal rank
@@ Property / cites work @@
+Q2760245
@@ Property / cites work: Q2760245 / rank @@
+Normal rank
@@ Property / cites work @@
+Pathway analysis for BioAmbients
@@ Property / cites work: Pathway analysis for BioAmbients / 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 @@
+Stochastic Model Checking of the Stochastic Quality Calculus
+Normal rank
@@ Property / Wikidata QID @@
+Q59416296
@@ Property / Wikidata QID: Q59416296 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/NielsonNV15
@@ Property / DBLP publication ID: journals/jlp/NielsonNV15 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.04.002
@@ Property / DOI: 10.1016/J.JLAMP.2015.04.002 / rank @@
+Normal rank