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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00043-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2028079360
@@ Property / OpenAlex ID: W2028079360 / rank @@
+Normal rank