Refinement of events in the development of real-time distributed systems (Q1341711): Difference between revisions

@@ Property / cites work @@
+Functional specification and proof of correctness for time dependent behaviour of reactive systems
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3039150
@@ Property / cites work: Q3039150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859249
@@ Property / cites work: Q3859249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818306
@@ Property / cites work: Q3818306 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of events
@@ Property / cites work: An axiomatization of events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175259
@@ Property / cites work: Q4175259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank