Symmetries, local names and dynamic (de)-allocation of names (Q618165): Difference between revisions

@@ 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.ic.2009.10.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2053839461
@@ Property / OpenAlex ID: W2053839461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / 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 @@
+A fully abstract semantics for causality in the π-calculus
+Normal rank
@@ Property / cites work @@
+Q4484504
@@ Property / cites work: Q4484504 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
+Normal rank
@@ Property / cites work @@
+Q4362963
@@ Property / cites work: Q4362963 / rank @@
+Normal rank
@@ Property / cites work @@
+A Name Abstraction Functor for Named Sets
@@ Property / cites work: A Name Abstraction Functor for Named Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic constructions for the specification of objects
+Normal rank
@@ Property / cites work @@
+Compositional SOS and beyond: A coalgebraic view of open systems
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864690
@@ Property / cites work: Q3864690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738222
@@ Property / cites work: Q4738222 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+About permutation algebras, (pre)sheaves and named sets
+Normal rank
@@ Property / cites work @@
+Q2847810
@@ Property / cites work: Q2847810 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273608
@@ Property / cites work: Q4273608 / 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 @@
+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 @@
+Q4353638
@@ Property / cites work: Q4353638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536393
@@ Property / cites work: Q4536393 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+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 @@
+Q4256309
@@ Property / cites work: Q4256309 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:618165