Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism (Q1941894): Difference between revisions

@@ Property / OpenAlex ID @@
+W2055495835
@@ Property / OpenAlex ID: W2055495835 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+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 @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling concurrent interactions
@@ Property / cites work: Modelling concurrent interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3370739
@@ Property / cites work: Q3370739 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
+Normal rank