Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586): Difference between revisions

@@ Property / cites work @@
+Generalizing Inference Systems by Coaxioms
@@ Property / cites work: Generalizing Inference Systems by Coaxioms / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Using higher-order contracts to model session types
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6099600
@@ Property / cites work: Q6099600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6099602
@@ Property / cites work: Q6099602 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Subtyping for Open Session Types
@@ Property / cites work: Fair Subtyping for Open Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3121528
@@ Property / cites work: Q3121528 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping Supports Safe Session Substitution
@@ Property / cites work: Subtyping Supports Safe Session Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness and hyperfairness
@@ Property / cites work: Fairness and hyperfairness / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+Fair subtyping for multi-party session types
@@ Property / cites work: Fair subtyping for multi-party session types / rank @@
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769443
@@ Property / cites work: Q2769443 / rank @@
+Normal rank
@@ Property / cites work @@
+Depending on session-typed processes
@@ Property / cites work: Depending on session-typed processes / rank @@
+Normal rank