A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2014.03.009
@@ Property / DOI: 10.1016/j.tcs.2014.03.009 / 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 / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2014.03.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2016755038
@@ Property / OpenAlex ID: W2016755038 / 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 @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of system behaviour in the presence of node and link failure
+Normal rank
@@ Property / cites work @@
+Basic observables for a calculus for global computing
+Normal rank
@@ Property / cites work @@
+An abstract machine for concurrent modular systems: CHARM
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
+Normal rank
@@ Property / cites work @@
+Concurrent and Located Synchronizations in π-Calculus
+Normal rank
@@ Property / cites work @@
+Network Conscious π-calculus: A Concurrent Semantics
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256309
@@ Property / cites work: Q4256309 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
+Normal rank
@@ Property / cites work @@
+A presheaf environment for the explicit fusion calculus
+Normal rank
@@ Property / cites work @@
+About permutation algebras, (pre)sheaves and named sets
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+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 @@
+Q2847810
@@ Property / cites work: Q2847810 / rank @@
+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 @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2014.03.009
@@ Property / DOI: 10.1016/J.TCS.2014.03.009 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2253186