The theory of interactive generalized semi-Markov processes (Q1603705): Difference between revisions

@@ Property / cites work @@
+On “Axiomatising Finite Concurrent Processes”
@@ Property / cites work: On “Axiomatising Finite Concurrent Processes” / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+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 @@
+Q4499198
@@ Property / cites work: Q4499198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754193
@@ Property / cites work: Q2754193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Q4861733
@@ Property / cites work: Q4861733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936893
@@ Property / cites work: Q4936893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344564
@@ Property / cites work: Q5344564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank