Data refinement and singleton failures refinement are not equivalent (Q931436): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q59651688 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A singleton failures semantics for communicating sequential processes / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20--21, 2002 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2844831 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2724177 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Relational concurrent refinement / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: ZB 2005: Formal Specification and Development in Z and B / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4301167 / rank | |||
Normal rank | |||
Revision as of 12:40, 28 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data refinement and singleton failures refinement are not equivalent |
scientific article |
Statements
Data refinement and singleton failures refinement are not equivalent (English)
0 references
25 June 2008
0 references
Data refinement
0 references
Singleton failures refinement
0 references
