MarCaSPiS: a Markovian Extension of a Calculus for Services (Q2810685): Difference between revisions

@@ Property / author @@
-Diego Latella
@@ Property / author: Diego Latella / rank @@
-Normal rank
@@ Property / author @@
-Mieke Massink
@@ Property / author: Mieke Massink / rank @@
-Normal rank
@@ Property / author @@
+Diego Latella
@@ Property / author: Diego Latella / rank @@
+Normal rank
@@ Property / author @@
+Mieke Massink
@@ Property / author: Mieke Massink / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MarCaSPiS
@@ Property / describes a project that uses: MarCaSPiS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COWS
@@ Property / describes a project that uses: COWS / 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.entcs.2009.07.071
+Normal rank
@@ Property / OpenAlex ID @@
+W2064415471
@@ Property / OpenAlex ID: W2064415471 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124439100
@@ Property / Wikidata QID: Q124439100 / rank @@
+Normal rank
@@ Property / cites work @@
+CaSPiS: a calculus of sessions, pipelines and services
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Model checking mobile stochastic logic
@@ Property / cites work: Model checking mobile stochastic logic / rank @@
+Normal rank
@@ Property / cites work @@
+MarCaSPiS: a Markovian Extension of a Calculus for Services
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+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 @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank