Polarized process algebra with reactive composition (Q2571202): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.06.014
+Normal rank
@@ Property / OpenAlex ID @@
+W1976298601
@@ Property / OpenAlex ID: W1976298601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449159
@@ Property / cites work: Q4449159 / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+Thread algebra for strategic interleaving
@@ Property / cites work: Thread algebra for strategic interleaving / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / 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 @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank