PiDuce- A project for experimenting web services technologies (Q838158): Difference between revisions

@@ Property / cites work @@
+XPi: a typed process calculus for XML messaging
@@ Property / cites work: XPi: a typed process calculus for XML messaging / rank @@
+Normal rank
@@ Property / cites work @@
+CDuce
@@ Property / cites work: CDuce / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024900
@@ Property / cites work: Q3024900 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / 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 @@
+Q4219054
@@ Property / cites work: Q4219054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536436
@@ Property / cites work: Q4536436 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Linear forwarders
@@ Property / cites work: Linear forwarders / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling dynamic web data
@@ Property / cites work: Modelling dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038734
@@ Property / cites work: Q4038734 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression types for XML
@@ Property / cites work: Regular expression types for XML / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank