A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805): Difference between revisions

@@ Property / author @@
-Valentin Valero
@@ Property / author: Valentin Valero / rank @@
-Normal rank
@@ Property / author @@
+Valentin Valero
@@ Property / author: Valentin Valero / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2184044
@@ Property / zbMATH DE Number: 2184044 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Formal methods
@@ Property / zbMATH Keywords: Formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Software specification
@@ Property / zbMATH Keywords: Software specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Concurrent systems
@@ Property / zbMATH Keywords: Concurrent systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Process algebra
@@ Property / zbMATH Keywords: Process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Timed Petri nets
@@ Property / zbMATH Keywords: Timed Petri nets / 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.2005.02.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2063239786
@@ Property / OpenAlex ID: W2063239786 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767184
@@ Property / cites work: Q2767184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time generative-reactive probabilistic processes with different advancing speeds
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic and nondeterministic processes.
+Normal rank
@@ Property / cites work @@
+Q5754515
@@ Property / cites work: Q5754515 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766563
@@ Property / cites work: Q2766563 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3795192
@@ Property / cites work: Q3795192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028618
@@ Property / cites work: Q4028618 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic processes.
@@ Property / cites work: Algebraic theory of probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+TIC: a tImed calculus
@@ Property / cites work: TIC: a tImed calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank
@@ Property / cites work @@
+Q4000457
@@ Property / cites work: Q4000457 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:557805