Relational concurrent refinement. III: Traces, partial relations and automata (Q736917): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844822
@@ Property / cites work: Q2844822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737562
@@ Property / cites work: Q4737562 / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Modelling Divergence in Relational Concurrent Refinement
+Normal rank
@@ Property / cites work @@
+Incompleteness of relational simulations in the blocking paradigm
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement. II: Internal operations and outputs
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+More Relational Concurrent Refinement: Traces and Partial Relations
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic view of input/output automata
@@ Property / cites work: A process algebraic view of input/output automata / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Linearizability Via Non-atomic Refinement
@@ Property / cites work: Proving Linearizability Via Non-atomic Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436964
@@ Property / cites work: Q4436964 / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A state-based approach to communicating processes
@@ Property / cites work: A state-based approach to communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement and singleton failures refinement are not equivalent
+Normal rank
@@ Property / cites work @@
+Quiescence, fairness, testing, and the notion of implementation
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank