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

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