Compositional minimisation of finite state systems using interface specifications (Q1816922): Difference between revisions

@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+Compositional minimisation of finite state systems using interface specifications
+Normal rank
@@ Property / cites work @@
+Q3761688
@@ Property / cites work: Q3761688 / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3795197
@@ Property / cites work: Q3795197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037386
@@ Property / cites work: Q4037386 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional proof system on a category of labelled transition systems
+Normal rank