Cost analysis for an actor-based workflow modelling language (Q2154052): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3205159201
@@ Property / OpenAlex ID: W3205159201 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form upper bounds in static cost analysis
@@ Property / cites work: Closed-form upper bounds in static cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Analysis of Complex Programs with Cost Equations
+Normal rank
@@ Property / cites work @@
+Automatic Static Cost Analysis for Parallel Programs
+Normal rank
@@ Property / cites work @@
+Time analysis of actor programs
@@ Property / cites work: Time analysis of actor programs / rank @@
+Normal rank
@@ Property / cites work @@
+Property specifications for workflow modelling
@@ Property / cites work: Property specifications for workflow modelling / rank @@
+Normal rank