Q5028448 (Q5028448): Difference between revisions

@@ Property / cites work @@
+Parametric timed broadcast protocols
@@ Property / cites work: Parametric timed broadcast protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+The Saga of the Axiomatization of Parallel Composition
+Normal rank
@@ Property / cites work @@
+Q2963938
@@ Property / cites work: Q2963938 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking deadlock-freedom of parametric component-based systems
+Normal rank
@@ Property / cites work @@
+The Algebra of Connectors—Structuring Interaction in BIP
+Normal rank
@@ Property / cites work @@
+Formal specification and verification of dynamic parametrized architectures
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Population Protocols
@@ Property / cites work: Model Checking Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Monitorability for the Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Realisability of pomsets
@@ Property / cites work: Realisability of pomsets / rank @@
+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 @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216331
@@ Property / cites work: Q5216331 / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration logics: modeling architecture styles
+Normal rank
@@ Property / cites work @@
+Specifying Properties of Dynamic Architectures Using Configuration Traces
+Normal rank
@@ Property / cites work @@
+Weighted propositional configuration logics: a specification language for architectures with quantitative features
+Normal rank
@@ Property / cites work @@
+The Shuffle Product: New Research Directions
@@ Property / cites work: The Shuffle Product: New Research Directions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational and Recognisable Power Series
@@ Property / cites work: Rational and Recognisable Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216330
@@ Property / cites work: Q5216330 / rank @@
+Normal rank