ACTL for modal interface automata (Q2404073): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.06.011
@@ Property / DOI: 10.1016/j.tcs.2017.06.011 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MIO Workbench
@@ Property / describes a project that uses: MIO Workbench / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2017.06.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2727157302
@@ Property / OpenAlex ID: W2727157302 / rank @@
+Normal rank
@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
+Normal rank
@@ Property / cites work @@
+Modal Transition Systems: Composition and LTL Model Checking
+Normal rank
@@ Property / cites work @@
+Graphical versus logical specifications
@@ Property / cites work: Graphical versus logical specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic modal interfaces
@@ Property / cites work: Nondeterministic modal interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+An action-based framework for veryfying logical and behavioural properties of concurrent systems
+Normal rank
@@ Property / cites work @@
+Structural Refinement for the Modal nu-Calculus
@@ Property / cites work: Structural Refinement for the Modal nu-Calculus / 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 @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Conjunction on processes: Full abstraction via ready-tree semantics
+Normal rank
@@ Property / cites work @@
+Safe reasoning with logic LTS
@@ Property / cites work: Safe reasoning with logic LTS / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Interface Automata
@@ Property / cites work: Modal Interface Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Richer interface automata with optimistic and pessimistic compatibility
+Normal rank
@@ Property / cites work @@
+A Modal Interface Theory for Component-based Design
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.06.011
@@ Property / DOI: 10.1016/J.TCS.2017.06.011 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2404073