Contract-based discovery of Web services modulo simple orchestrators (Q987977): Difference between revisions

@@ Property / cites work @@
+A characterization of regular expressions under bisimulation
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / 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 @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721641
@@ Property / cites work: Q4721641 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic regular expressions as solutions of equational systems.
+Normal rank
@@ Property / cites work @@
+Q4325974
@@ Property / cites work: Q4325974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799358
@@ Property / cites work: Q4799358 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Acceptance trees
@@ Property / cites work: Acceptance trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Failure-free coordinators synthesis for component-based architectures
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+The Must Preorder Revisited
@@ Property / cites work: The Must Preorder Revisited / rank @@
+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 @@
+Contract-Directed Synthesis of Simple Orchestrators
+Normal rank
@@ Property / cites work @@
+Retrieving library functions by unifying types modulo linear isomorphism
+Normal rank