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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01211911
+Normal rank
@@ Property / OpenAlex ID @@
+W1987298286
@@ Property / OpenAlex ID: W1987298286 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1816922