A presheaf environment for the explicit fusion calculus (Q2392481): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-011-9224-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2145026504
@@ Property / OpenAlex ID: W2145026504 / 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 @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Semantics Revisited
@@ Property / cites work: Symbolic Semantics Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Symbolic Semantics
@@ Property / cites work: Coalgebraic Symbolic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some congruence properties for \(\pi\)-calculus bisimilarities
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+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 @@
+Compositional SOS and beyond: A coalgebraic view of open systems
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+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 @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory for operational semantics
@@ Property / cites work: Category theory for operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / 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 @@
+Foundations of Software Science and Computational Structures
+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 @@
+Q4018066
@@ Property / cites work: Q4018066 / 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 @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / 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 @@
+Pseudo-distributive laws and axiomatics for variable binding
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank