Coinduction in Concurrent Timed Systems (Q2919457): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2010.07.020
+Normal rank
@@ Property / OpenAlex ID @@
+W1989058138
@@ Property / OpenAlex ID: W1989058138 / rank @@
+Normal rank
@@ Property / cites work @@
+On coalgebra based on classes
@@ Property / cites work: On coalgebra based on classes / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449536
@@ Property / cites work: Q4449536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Product interval automata
@@ Property / cites work: Product interval automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of (max,+) automata
@@ Property / cites work: Performance evaluation of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and analysis of timed Petri nets using heaps of pieces
+Normal rank
@@ Property / cites work @@
+Modular Control of Discrete-Event Systems With Coalgebra
+Normal rank
@@ Property / cites work @@
+Supervisory control of \((\max,+)\) automata: a behavioral approach
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Series which are both max-plus and min-plus rational are unambiguous
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank