On Composing Communicating Systems (Q6122641): Difference between revisions

@@ Property / cites work @@
+Sub-behaviour relations for session-based client/server systems
+Normal rank
@@ Property / cites work @@
+Connecting open systems of communicating finite state machines
+Normal rank
@@ Property / cites work @@
+Composition and decomposition of multiparty sessions
+Normal rank
@@ Property / cites work @@
+Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday
+Normal rank
@@ Property / cites work @@
+A Semantic Deconstruction of Session Types
@@ Property / cites work: A Semantic Deconstruction of Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5114827
@@ Property / cites work: Q5114827 / 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 @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+From Communicating Machines to Graphical Choreographies
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-based discovery of Web services modulo simple orchestrators
+Normal rank