A refinement calculus for specifications in Hennessy-Milner logic with recursion (Q911261): Difference between revisions

@@ Property / cites work @@
+Q3321470
@@ Property / cites work: Q3321470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3343432
@@ Property / cites work: Q3343432 / 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 @@
+Q4744245
@@ Property / cites work: Q4744245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792217
@@ Property / cites work: Q3792217 / 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 @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694687
@@ Property / cites work: Q3694687 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic characterization of observational equivalence
+Normal rank
@@ Property / cites work @@
+Q3707371
@@ Property / cites work: Q3707371 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q3711741
@@ Property / cites work: Q3711741 / rank @@
+Normal rank