Unifying behavioral equivalences of timed transition systems (Q1758671): Difference between revisions

@@ Property / author @@
-Nataliya Gribovskaya
@@ Property / author: Nataliya Gribovskaya / rank @@
-Normal rank
@@ Property / author @@
+Nataliya Gribovskaya
@@ Property / author: Nataliya Gribovskaya / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Observing behaviour categorically
@@ Property / cites work: Observing behaviour categorically / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Temporal proof methodologies for timed transition systems
+Normal rank
@@ Property / cites work @@
+Timing and causality in process algebra
@@ Property / cites work: Timing and causality in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818753
@@ Property / cites work: Q4818753 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of timed bisimulation for a class of timed regular behaviours
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4507811
@@ Property / cites work: Q4507811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486046
@@ Property / cites work: Q5486046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265624
@@ Property / cites work: Q4265624 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Maps Bisimulations for Higher Dimensional Automata Models
+Normal rank
@@ Property / cites work @@
+Q5192929
@@ Property / cites work: Q5192929 / 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 @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Unfoldings for Networks of Timed Automata
@@ Property / cites work: Timed Unfoldings for Networks of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A causal semantic for time Petri nets
@@ Property / cites work: A causal semantic for time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for open maps
@@ Property / cites work: A completeness theorem for open maps / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1758671