Decidable properties for monadic abstract state machines (Q2498914): 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.apal.2005.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2068251508
@@ Property / OpenAlex ID: W2068251508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934321
@@ Property / cites work: Q4934321 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable verification for reducible timed automata specified in a first order logic with time
+Normal rank
@@ Property / cites work @@
+A first order logic for specification of timed algorithms: Basic properties and a decidable class
+Normal rank
@@ Property / cites work @@
+Periodicity based decidable classes in a first order timed logic
+Normal rank
@@ Property / cites work @@
+Q4518903
@@ Property / cites work: Q4518903 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Q4413690
@@ Property / cites work: Q4413690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818811
@@ Property / cites work: Q4818811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753717
@@ Property / cites work: Q2753717 / rank @@
+Normal rank