Mixing logics and rewards for the component-oriented specification of performance measures (Q995461): Difference between revisions

@@ Property / describes a project that uses @@
+MRMC
@@ Property / describes a project that uses: MRMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2007.05.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2170543783
@@ Property / OpenAlex ID: W2170543783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+On the usability of process algebra: An architectural view
+Normal rank
@@ Property / cites work @@
+Q4270055
@@ Property / cites work: Q4270055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754196
@@ Property / cites work: Q2754196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798039
@@ Property / cites work: Q4798039 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance measure sensitive congruences for Markovian process algebras
+Normal rank
@@ Property / cites work @@
+Q4411089
@@ Property / cites work: Q4411089 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution of GSPN reward models
@@ Property / cites work: On the solution of GSPN reward models / rank @@
+Normal rank
@@ Property / cites work @@
+Specification techniques for Markov reward models
@@ Property / cites work: Specification techniques for Markov reward models / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q5635252
@@ Property / cites work: Q5635252 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking expected time and expected reward formulae with random time bounds
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101255
@@ Property / cites work: Q4101255 / rank @@
+Normal rank
@@ Property / cites work @@
+Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank