Sub-behaviour relations for session-based client/server systems (Q5740659): Difference between revisions

@@ 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 @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra of behavioural types
@@ Property / cites work: An algebra of behavioural types / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for Mobile Processes
@@ Property / cites work: Contracts for Mobile Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Contract Based Multi-party Service Composition
@@ Property / cites work: Contract Based Multi-party Service Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Mutually Testing Processes
@@ Property / cites work: Mutually Testing Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Asymmetric Client-Server Interaction
@@ Property / cites work: Typing Asymmetric Client-Server Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+On projecting processes into session types
@@ Property / cites work: On projecting processes into session types / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-based discovery of Web services modulo simple orchestrators
+Normal rank
@@ Property / cites work @@
+A complete algebraic characterization of behavioral subtyping
+Normal rank
@@ Property / cites work @@
+The Pairing of Contracts and Session Types
@@ Property / cites work: The Pairing of Contracts and Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+The Must Preorder Revisited
@@ Property / cites work: The Must Preorder Revisited / rank @@
+Normal rank