A theory of stochastic systems. II: Process algebra (Q2575855): Difference between revisions

@@ Property / describes a project that uses @@
+MoDeST
@@ Property / describes a project that uses: MoDeST / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57801860
@@ Property / Wikidata QID: Q57801860 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2005.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2040082021
@@ Property / OpenAlex ID: W2040082021 / rank @@
+Normal rank
@@ Property / cites work @@
+A static view of localities
@@ Property / cites work: A static view of localities / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Q4813207
@@ Property / cites work: Q4813207 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728998
@@ Property / cites work: Q2728998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798036
@@ Property / cites work: Q4798036 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. I: Stochastic automata
+Normal rank
@@ Property / cites work @@
+A general conservative extension theorem in process algebras with inequalities
+Normal rank
@@ Property / cites work @@
+Q4490742
@@ Property / cites work: Q4490742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q4861733
@@ Property / cites work: Q4861733 / rank @@
+Normal rank
@@ Property / cites work @@
+SPADES - a process algebra for discrete event simulation
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843091
@@ Property / cites work: Q4843091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity of open terms.
@@ Property / cites work: Bisimilarity of open terms. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769589
@@ Property / cites work: Q2769589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+A denotational semantics for a process-based simulation language
+Normal rank
@@ Property / cites work @@
+Continuity of Generalized Semi-Markov Processes
@@ Property / cites work: Continuity of Generalized Semi-Markov Processes / rank @@
+Normal rank