Tile formats for located and mobile systems. (Q1854326): Difference between revisions

@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for compact GSOS languages
@@ Property / cites work: CPO models for compact GSOS languages / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Trace nets and process automata
@@ Property / cites work: Trace nets and process automata / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration theories of synchronization trees
@@ Property / cites work: Iteration theories of synchronization trees / rank @@
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+Q4222912
@@ Property / cites work: Q4222912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941924
@@ Property / cites work: Q4941924 / rank @@
+Normal rank
@@ Property / cites work @@
+Distribution and locality of concurrent systems
@@ Property / cites work: Distribution and locality of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating two categorical models of term rewriting
@@ Property / cites work: Relating two categorical models of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733427
@@ Property / cites work: Q4733427 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Catégories structurées
@@ Property / cites work: Catégories structurées / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027626
@@ Property / cites work: Q4027626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699285
@@ Property / cites work: Q4699285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222916
@@ Property / cites work: Q4222916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222848
@@ Property / cites work: Q4222848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219030
@@ Property / cites work: Q4219030 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of concurrent calculi in net calculi: two case studies
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Comparing locality and causality based equivalences
+Normal rank
@@ Property / cites work @@
+Axiomatizing permutation equivalence
@@ Property / cites work: Axiomatizing permutation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Q3839052
@@ Property / cites work: Q3839052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222946
@@ Property / cites work: Q4222946 / rank @@
+Normal rank
@@ Property / cites work @@
+Location equivalence in a parametric setting
@@ Property / cites work: Location equivalence in a parametric setting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222924
@@ Property / cites work: Q4222924 / rank @@
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank