A fully abstract trace model for dataflow and asynchronous networks (Q1333374): Difference between revisions

@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+On the suitability of trace semantics for modular proofs of communicating processes
+Normal rank
@@ Property / cites work @@
+Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable
+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 @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+Nondeterministic data flow programs: How to avoid the merge anomaly
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+A model and temporal proof system for networks of processes
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Computing the behaviour of asynchronous processes
@@ Property / cites work: Computing the behaviour of asynchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for nondeterministic data flow
+Normal rank