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

@@ Property / describes a project that uses @@
+XDuce
@@ Property / describes a project that uses: XDuce / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ 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.1016/j.scico.2009.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2080931699
@@ Property / OpenAlex ID: W2080931699 / rank @@
+Normal rank
@@ 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