A Logical Process Calculus (Q2842601): Difference between revisions

@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472454
@@ Property / cites work: Q4472454 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for the description of non-deterministic programs and their properties
+Normal rank
@@ Property / cites work @@
+A fixpoint approach to finite delay and fairness
@@ Property / cites work: A fixpoint approach to finite delay and fairness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499229
@@ Property / cites work: Q4499229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of implicit specifications
@@ Property / cites work: The expressive power of implicit specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Trace, failure and testing equivalences for communicating processes
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence and fair testing
@@ Property / cites work: Divergence and fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270078
@@ Property / cites work: Q4270078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791836
@@ Property / cites work: Q4791836 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Modal logics for communicating systems
@@ Property / cites work: Modal logics for communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional failure-based semantic models for basic LOTOS
+Normal rank