Network Conscious π-calculus: A Concurrent Semantics (Q3178290): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2012.08.019
@@ Property / DOI: 10.1016/j.entcs.2012.08.019 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318071
@@ Property / Wikidata QID: Q113318071 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.08.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2152864408
@@ Property / OpenAlex ID: W2152864408 / rank @@
+Normal rank
@@ Property / cites work @@
+A Category of Explicit Fusions
@@ Property / cites work: A Category of Explicit Fusions / rank @@
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+Symmetries, local names and dynamic (de)-allocation of names
+Normal rank
@@ Property / cites work @@
+An abstract machine for concurrent modular systems: CHARM
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+Basic observables for a calculus for global computing
+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 @@
+Concurrent and Located Synchronizations in π-Calculus
+Normal rank
@@ Property / cites work @@
+A Categorical Model of the Fusion Calculus
@@ Property / cites work: A Categorical Model of the Fusion Calculus / 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 @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / 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 @@
+Network Conscious π-calculus: A Concurrent Semantics
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2012.08.019
@@ Property / DOI: 10.1016/J.ENTCS.2012.08.019 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3178290