Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956): Difference between revisions

@@ 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.entcs.2005.12.107
+Normal rank
@@ Property / OpenAlex ID @@
+W1998471990
@@ Property / OpenAlex ID: W1998471990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842864
@@ Property / cites work: Q2842864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703726
@@ Property / cites work: Q2703726 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+Q2754193
@@ Property / cites work: Q2754193 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
+Normal rank
@@ Property / cites work @@
+Q2760249
@@ Property / cites work: Q2760249 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251917
@@ Property / cites work: Q4251917 / rank @@
+Normal rank