Timed Semantics of Message Sequence Charts Based on Timed Automata (Q2842583): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / 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 @@
+Untiming timed languages
@@ Property / cites work: Untiming timed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738217
@@ Property / cites work: Q4738217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754107
@@ Property / cites work: Q2754107 / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of communication models for message sequence charts
+Normal rank
@@ Property / cites work @@
+Q2769610
@@ Property / cites work: Q2769610 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769611
@@ Property / cites work: Q2769611 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2842583