Data refinement and singleton failures refinement are not equivalent (Q931436): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-008-0076-5
@@ Property / DOI: 10.1007/s00165-008-0076-5 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-008-0076-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2019335535
@@ Property / OpenAlex ID: W2019335535 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59651688
@@ Property / Wikidata QID: Q59651688 / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20--21, 2002
+Normal rank
@@ Property / cites work @@
+Q2844831
@@ Property / cites work: Q2844831 / 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 @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-008-0076-5
@@ Property / DOI: 10.1007/S00165-008-0076-5 / rank @@
+Normal rank