Service oriented computing from a process algebraic perspective (Q861292): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2006.05.002
@@ Property / DOI: 10.1016/j.jlap.2006.05.002 / 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.jlap.2006.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2095956855
@@ Property / OpenAlex ID: W2095956855 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Quantitative information in the tuple space coordination model
+Normal rank
@@ Property / cites work @@
+Q2754193
@@ Property / cites work: Q2754193 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical foundations for compensations in flow composition languages
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+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 @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / 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 @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2006.05.002
@@ Property / DOI: 10.1016/J.JLAP.2006.05.002 / rank @@
+Normal rank