Contexts, refinement and determinism (Q541213): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2010.11.011
@@ Property / DOI: 10.1016/j.scico.2010.11.011 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4762658
@@ Property / cites work: Q4762658 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457681
@@ Property / cites work: Q5457681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767195
@@ Property / cites work: Q2767195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Masked prioritized synchronization for interaction and control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310886
@@ Property / cites work: Q5310886 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Tools via General Refinement
@@ Property / cites work: Generic Tools via General Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Vertical implementation
@@ Property / cites work: Vertical implementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional failure-based semantic models for basic LOTOS
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/scp/ReevesS11
@@ Property / DBLP publication ID: journals/scp/ReevesS11 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2010.11.011
@@ Property / DOI: 10.1016/J.SCICO.2010.11.011 / rank @@
+Normal rank