Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6608301
@@ Property / zbMATH DE Number: 6608301 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+peer-to-peer system
@@ Property / zbMATH Keywords: peer-to-peer system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+overlay network
@@ Property / zbMATH Keywords: overlay network / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed hash table
@@ Property / zbMATH Keywords: distributed hash table / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Pastry
@@ Property / zbMATH Keywords: Pastry / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+routing convergence
@@ Property / zbMATH Keywords: routing convergence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process calculus
@@ Property / zbMATH Keywords: process calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+network-conscious pi-calculus
@@ Property / zbMATH Keywords: network-conscious pi-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+presheaf
@@ Property / zbMATH Keywords: presheaf / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebra
@@ Property / zbMATH Keywords: coalgebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+HD-automaton
@@ Property / zbMATH Keywords: HD-automaton / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317812
@@ Property / Wikidata QID: Q113317812 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pastry
@@ Property / describes a project that uses: Pastry / 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.entcs.2015.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1963833227
@@ Property / OpenAlex ID: W1963833227 / rank @@
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+Basic observables for a calculus for global computing
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
+Normal rank
@@ Property / cites work @@
+A theory of system behaviour in the presence of node and link failure
+Normal rank
@@ Property / cites work @@
+A calculus for costed computations
@@ Property / cites work: A calculus for costed computations / rank @@
+Normal rank
@@ Property / cites work @@
+Counting the Cost in the Picalculus (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Network Conscious π-calculus: A Concurrent Semantics
+Normal rank
@@ Property / cites work @@
+A network-conscious \(\pi\)-calculus and its coalgebraic semantics
+Normal rank
@@ Property / cites work @@
+Q4473888
@@ Property / cites work: Q4473888 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:530841