Linda-based applicative and imperative process algebras (Q1575260): Difference between revisions

@@ Property / author @@
-R. D. Nicola
@@ Property / author: R. D. Nicola / rank @@
-Normal rank
@@ Property / author @@
-Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
-Normal rank
@@ Property / author @@
+R. D. Nicola
@@ Property / author: R. D. Nicola / rank @@
+Normal rank
@@ Property / author @@
+Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702500
@@ Property / cites work: Q3702500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721641
@@ Property / cites work: Q4721641 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Acceptance trees
@@ Property / cites work: Acceptance trees / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+A proof system for communicating processes with value-passing
+Normal rank
@@ Property / cites work @@
+Q3938462
@@ Property / cites work: Q3938462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997397
@@ Property / cites work: Q3997397 / rank @@
+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 @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00339-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1992984380
@@ Property / OpenAlex ID: W1992984380 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127482015
@@ Property / Wikidata QID: Q127482015 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1575260