Correcting a Space-Efficient Simulation Algorithm (Q3512514): Difference between revisions

@@ Property / author @@
-Q161639
@@ Property / author: Q161639 / rank @@
-Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / 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.1007/978-3-540-70545-1_49
+Normal rank
@@ Property / OpenAlex ID @@
+W1737886586
@@ Property / OpenAlex ID: W1737886586 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational design and implementation of a new efficient solution to the ready simulation problem
+Normal rank
@@ Property / cites work @@
+Simulation-based minimization
@@ Property / cites work: Simulation-based minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037388
@@ Property / cites work: Q4037388 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Correcting a Space-Efficient Simulation Algorithm
@@ Property / cites work: Correcting a Space-Efficient Simulation Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence-checking on infinite-state systems: Techniques and results
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771063
@@ Property / cites work: Q2771063 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3512514