Dynamic connectors for concurrency (Q1603689): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Mobile Petri nets
@@ Property / cites work: Mobile Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536607
@@ Property / cites work: Q4536607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941924
@@ Property / cites work: Q4941924 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
+Normal rank
@@ Property / cites work @@
+Zero-safe nets: Comparing the collective and individual token approaches.
+Normal rank
@@ Property / cites work @@
+Q4536441
@@ Property / cites work: Q4536441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769427
@@ Property / cites work: Q2769427 / rank @@
+Normal rank
@@ Property / cites work @@
+Bicategories of spans and relations
@@ Property / cites work: Bicategories of spans and relations / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485876
@@ Property / cites work: Q3485876 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of finite relations as initial abstract data types. I
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4941927
@@ Property / cites work: Q4941927 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional SOS and beyond: A coalgebraic view of open systems
+Normal rank
@@ Property / cites work @@
+Refinement of actions in event structures and causal trees
+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 @@
+Proved trees
@@ Property / cites work: Proved trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Catégories structurées
@@ Property / cites work: Catégories structurées / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608062
@@ Property / cites work: Q5608062 / rank @@
+Normal rank
@@ Property / cites work @@
+Tile formats for located and mobile systems.
@@ Property / cites work: Tile formats for located and mobile systems. / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras and cartesian categories
@@ Property / cites work: Coalgebras and cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499230
@@ Property / cites work: Q4499230 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Closed action calculi
@@ Property / cites work: Closed action calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3953956
@@ Property / cites work: Q3953956 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary structures in process theory (1): Sets with renaming
+Normal rank
@@ Property / cites work @@
+Bicategories of processes
@@ Property / cites work: Bicategories of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373555
@@ Property / cites work: Q4373555 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing locality and causality based equivalences
+Normal rank
@@ Property / cites work @@
+Q5714438
@@ Property / cites work: Q5714438 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038716
@@ Property / cites work: Q4038716 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251913
@@ Property / cites work: Q4251913 / rank @@
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839052
@@ Property / cites work: Q3839052 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / 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 @@
+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 @@
+Q4090505
@@ Property / cites work: Q4090505 / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity of open terms.
@@ Property / cites work: Bisimilarity of open terms. / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank