A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124): Difference between revisions

@@ Property / cites work @@
+Nested semantics over finite trees are equationally hard
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted modal transition systems
@@ Property / cites work: Weighted modal transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Extending modal transition systems with structured labels
+Normal rank
@@ Property / cites work @@
+Modal Transition Systems: Composition and LTL Model Checking
+Normal rank
@@ Property / cites work @@
+Modal event-clock specifications for timed component-based design
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+ACTL for modal interface automata
@@ Property / cites work: ACTL for modal interface automata / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring Reachability by Design
@@ Property / cites work: Ensuring Reachability by Design / rank @@
+Normal rank
@@ Property / cites work @@
+General quantitative specification theories with modal transition systems
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A context dependent equivalence between processes
@@ Property / cites work: A context dependent equivalence between processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694687
@@ Property / cites work: Q3694687 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics and deadlocking of modular Petri nets
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank