A formal approach to open multiparty interactions (Q1727996): Difference between revisions

@@ Property / describes a project that uses @@
+SiLVer
@@ Property / describes a project that uses: SiLVer / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2827307751
@@ Property / OpenAlex ID: W2827307751 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03002
@@ Property / arXiv ID: 1807.03002 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Multiparty Interaction
@@ Property / cites work: Open Multiparty Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of the π-Calculus and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+On the expressiveness of π-calculus for encoding mobile ambients
+Normal rank
@@ Property / cites work @@
+A Flat Process Calculus for Nested Membrane Interactions
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization trees
@@ Property / cites work: Synchronization trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A comprehensive study of the complexity of multiparty interaction
+Normal rank
@@ Property / cites work @@
+A calculus for costed computations
@@ Property / cites work: A calculus for costed computations / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset patterns and their application to dynamic causalities in membrane systems
+Normal rank
@@ Property / cites work @@
+Generalized contexts for reaction systems: definition and study of dynamic causalities
+Normal rank
@@ Property / cites work @@
+An analysis for causal properties of membrane interactions
+Normal rank
@@ Property / cites work @@
+Causal static analysis for brane calculi
@@ Property / cites work: Causal static analysis for brane calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A Global Occurrence Counting Analysis for Brane Calculi
+Normal rank
@@ Property / cites work @@
+A static analysis for brane calculi providing global occurrence counting information
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+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 @@
+Network Conscious π-calculus: A Concurrent Semantics
+Normal rank
@@ Property / cites work @@
+Parametric synchronizations in mobile nominal calculi
+Normal rank
@@ Property / cites work @@
+Q4223013
@@ Property / cites work: Q4223013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Petri Net Semantics for A2CCS
@@ Property / cites work: An Operational Petri Net Semantics for A2CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Names of the \(\pi\)-calculus agents handled locally
+Normal rank
@@ Property / cites work @@
+Symbolic Semantics for Multiparty Interactions in the Link-Calculus
+Normal rank