Step semantics for ``true'' concurrency with recursion (Q916408): Difference between revisions

@@ Property / cites work @@
+Q3030238
@@ Property / cites work: Q3030238 / rank @@
+Normal rank
@@ Property / cites work @@
+A continuous semantics for unbounded nondeterminism
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / 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 @@
+Q3745260
@@ Property / cites work: Q3745260 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
+Normal rank
@@ Property / cites work @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q4721641
@@ Property / cites work: Q4721641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774958
@@ Property / cites work: Q3774958 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of nondeterminism, concurrency, and communication
+Normal rank
@@ Property / cites work @@
+A formal semantics for concurrent systems with a priority relation
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721635
@@ Property / cites work: Q4721635 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Subset languages of Petri nets. I: The relationship to string languages and normal forms
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753474
@@ Property / cites work: Q3753474 / rank @@
+Normal rank