CaSPiS: a calculus of sessions, pipelines and services (Q5740635): Difference between revisions

@@ Property / author @@
-Michele Boreale
@@ Property / author: Michele Boreale / rank @@
-Normal rank
@@ Property / author @@
+Michele Boreale
@@ Property / author: Michele Boreale / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124438986
@@ Property / Wikidata QID: Q124438986 / rank @@
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Static Detection of Logic Flaws in Service-Oriented Applications
+Normal rank
@@ Property / cites work @@
+Coordination Via Types in an Event-Based Framework
+Normal rank
@@ Property / cites work @@
+Types and Effects for Resource Usage Analysis
@@ Property / cites work: Types and Effects for Resource Usage Analysis / 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 @@
+A Type System for Client Progress in a Service-Oriented Calculus
+Normal rank
@@ Property / cites work @@
+MarCaSPiS: a Markovian Extension of a Calculus for Services
+Normal rank
@@ Property / cites work @@
+Responsiveness in process calculi
@@ Property / cites work: Responsiveness in process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+A timed semantics of Orc
@@ Property / cites work: A timed semantics of Orc / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
+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 @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+The Pairing of Contracts and Session Types
@@ Property / cites work: The Pairing of Contracts and Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129512000953
+Normal rank
@@ Property / OpenAlex ID @@
+W2069353351
@@ Property / OpenAlex ID: W2069353351 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740635