Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-79980-1_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1577894979
@@ Property / OpenAlex ID: W1577894979 / rank @@
+Normal rank
@@ Property / cites work @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / 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 @@
+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 New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Type System for Lock-Freedom of Mobile Processes
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505419