Towards a process calculus for REST: current state of the art (Q902704): Difference between revisions

@@ Property / DOI @@
-.1515/fcds-2015-0015
@@ Property / DOI: 10.1515/fcds-2015-0015 / 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.1515/fcds-2015-0015
+Normal rank
@@ Property / OpenAlex ID @@
+W2413100037
@@ Property / OpenAlex ID: W2413100037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+The Orc Programming Language
@@ Property / cites work: The Orc Programming Language / rank @@
+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
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank
@@ Property / DOI @@
+.1515/FCDS-2015-0015
@@ Property / DOI: 10.1515/FCDS-2015-0015 / rank @@
+Normal rank