Nondeterministic modal interfaces (Q2629098): Difference between revisions

@@ Property / describes a project that uses @@
+Motras
@@ Property / describes a project that uses: Motras / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.06.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2442527218
@@ Property / OpenAlex ID: W2442527218 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Modal Interfaces
@@ Property / cites work: Nondeterministic Modal Interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+A Compositional Specification Theory for Component Behaviours
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Modal Interface Automata
@@ Property / cites work: Modal Interface Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ Property / cites work @@
+Richer interface automata with optimistic and pessimistic compatibility
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Q4732449
@@ Property / cites work: Q4732449 / rank @@
+Normal rank
@@ Property / cites work @@
+Error-Pruning in Interface Automata
@@ Property / cites work: Error-Pruning in Interface Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic view of input/output automata
@@ Property / cites work: A process algebraic view of input/output automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Partial Behaviour Models with Different Vocabularies
+Normal rank
@@ Property / cites work @@
+Refinement checking on parametric modal transition systems
+Normal rank
@@ Property / cites work @@
+MoTraS: A Tool for Modal Transition Systems and Their Extensions
+Normal rank