An efficient simulation algorithm on Kripke structures (Q2453984): Difference between revisions

Latest revision as of 09:51, 31 December 2024

scientific article; zbMATH DE number 6210018

A More Efficient Simulation Algorithm on Kripke Structures

Language	Label	Description	Also known as
English	An efficient simulation algorithm on Kripke structures	scientific article; zbMATH DE number 6210018	A More Efficient Simulation Algorithm on Kripke Structures

Statements

instance of

scholarly article

0 references

title

An efficient simulation algorithm on Kripke structures (English)

0 references

A More Efficient Simulation Algorithm on Kripke Structures (English)

0 references

0 references

0 references

Mathematical Foundations of Computer Science 2013

0 references

publication date

12 June 2014

0 references

20 September 2013

0 references

full work available at URL

https://arxiv.org/abs/1212.1089

0 references

zbMATH Keywords

simulation preorder

0 references

Kripke structures

0 references

simulation algorithm

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Computing Simulations over Tree Automata

0 references

Q5322945

0 references

Saving Space in a Time Efficient Simulation Algorithm

0 references

Transformational design and implementation of a new efficient solution to the ready simulation problem

0 references

Simulation-based minimization

0 references

Q2760243

0 references

Q2747613

0 references

Incremental graph pattern matching

0 references

Bisimulation minimization and symbolic model checking

0 references

Q4472257

0 references

From bisimulation to simulation: Coarsest partition problems

0 references

Rank and simulation: the well-founded case

0 references

Q4038723

0 references

Q4252730

0 references

Q2970249

0 references

An efficient simulation algorithm on Kripke structures

0 references

An efficient simulation algorithm based on abstract interpretation

0 references

Q2771063

0 references

Q2760238

0 references

Correcting a Space-Efficient Simulation Algorithm

0 references

Identifiers

zbMATH Open document ID

1301.68189

0 references

1400.68143

0 references

DOI

10.1007/978-3-642-40313-2_66

0 references

10.1007/S00236-014-0195-9

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2453984

@@ Property / DOI @@
-.1007/s00236-014-0195-9
@@ Property / DOI: 10.1007/s00236-014-0195-9 / rank @@
-Normal rank
@@ Property / DOI @@
+.1007/S00236-014-0195-9
@@ Property / DOI: 10.1007/S00236-014-0195-9 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Saving Space in a Time Efficient Simulation Algorithm
+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 @@
+Q2760243
@@ Property / cites work: Q2760243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental graph pattern matching
@@ Property / cites work: Incremental graph pattern matching / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation minimization and symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4472257
@@ Property / cites work: Q4472257 / rank @@
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Rank and simulation: the well-founded case
@@ Property / cites work: Rank and simulation: the well-founded case / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2970249
@@ Property / cites work: Q2970249 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm on Kripke structures
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm based on abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q2771063
@@ Property / cites work: Q2771063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Correcting a Space-Efficient Simulation Algorithm
@@ Property / cites work: Correcting a Space-Efficient Simulation Algorithm / rank @@
+Normal rank