On process rate semantics (Q2474433): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / 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.11.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2130429899
@@ Property / OpenAlex ID: W2130429899 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56982021
@@ Property / Wikidata QID: Q56982021 / rank @@
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology IV
@@ Property / cites work: Transactions on Computational Systems Biology IV / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Concurrent Constraint Programming and Differential Equations
+Normal rank
@@ Property / cites work @@
+Q4304316
@@ Property / cites work: Q4304316 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of process equivalences for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q4861732
@@ Property / cites work: Q4861732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472227
@@ Property / cites work: Q4472227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/Cardelli08
@@ Property / DBLP publication ID: journals/tcs/Cardelli08 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2474433