On projecting processes into session types (Q2883119): Difference between revisions

@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamating sessions and methods in object-oriented languages with generics
+Normal rank
@@ Property / cites work @@
+Conversation Types
@@ Property / cites work: Conversation Types / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / 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 Based Multi-party Service Composition
@@ Property / cites work: Contract Based Multi-party Service Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Account of Session Types in the Pi Calculus
+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 @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / 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 @@
+Contracts for Mobile Processes
@@ Property / cites work: Contracts for Mobile Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic subtyping for the pi-calculus
@@ Property / cites work: Semantic subtyping for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+PiDuce- A project for experimenting web services technologies
+Normal rank