Orchestrated session compliance (Q347361): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2016.08.002
@@ Property / DOI: 10.1016/j.jlamp.2016.08.002 / rank @@
-Normal rank
@@ Property / cites work @@
+The Must Preorder Revisited
@@ Property / cites work: The Must Preorder Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-behaviour relations for session-based client/server systems
+Normal rank
@@ Property / cites work @@
+Modelling session types using contracts
@@ Property / cites work: Modelling session types using contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-based discovery of Web services modulo simple orchestrators
+Normal rank
@@ Property / cites work @@
+Q5216150
@@ Property / cites work: Q5216150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216082
@@ Property / cites work: Q5216082 / 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 @@
+Q3837984
@@ Property / cites work: Q3837984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536378
@@ Property / cites work: Q4536378 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for Analysing Service Contracts
@@ Property / cites work: Automata for Analysing Service Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216080
@@ Property / cites work: Q5216080 / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Decidable Topologies for Communicating Automata with FIFO and Bag Channels
+Normal rank
@@ Property / cites work @@
+Contracts as games on event structures
@@ Property / cites work: Contracts as games on event structures / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2016.08.002
@@ Property / DOI: 10.1016/J.JLAMP.2016.08.002 / rank @@
+Normal rank