Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-007-0065-0
@@ Property / DOI: 10.1007/s00165-007-0065-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2032270529
@@ Property / OpenAlex ID: W2032270529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260699
@@ Property / cites work: Q4260699 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical versus logical specifications
@@ Property / cites work: Graphical versus logical specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763965
@@ Property / cites work: Q2763965 / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of CSP refinement
@@ Property / cites work: On the expressive power of CSP refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A formal language for cryptographic protocol requirements
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-007-0065-0
@@ Property / DOI: 10.1007/S00165-007-0065-0 / rank @@
+Normal rank