Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533): Difference between revisions

@@ Property / cites work @@
+A system for compositional verification of asynchronous objects
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification approach of Metropolis design framework for embedded systems
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+A Complete Guide to the Future
@@ Property / cites work: A Complete Guide to the Future / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Scala actors: Unifying thread-based and event-based programming
+Normal rank
@@ Property / cites work @@
+Schedulability of asynchronous real-time concurrent objects
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Abstraction and Completeness for Real-Time Maude
@@ Property / cites work: Abstraction and Completeness for Real-Time Maude / 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 @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808794
@@ Property / cites work: Q4808794 / rank @@
+Normal rank