Splitting atoms safely (Q879357): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.12.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2132957297
@@ Property / OpenAlex ID: W2132957297 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Issues in the design of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of assumption-commitment specifications in a UNITY style
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274970
@@ Property / cites work: Q4274970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808839
@@ Property / cites work: Q4808839 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraining interference in an object-based design method
+Normal rank
@@ Property / cites work @@
+Operational semantics: concepts and their expression
+Normal rank
@@ Property / cites work @@
+Confluence of processes and systems of objects
@@ Property / cites work: Confluence of processes and systems of objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic data types: Models and implementations
+Normal rank
@@ Property / cites work @@
+Q4725724
@@ Property / cites work: Q4725724 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5531462
@@ Property / cites work: Q5531462 / rank @@
+Normal rank