Trustworthy Global Computing
DOI: 10.1007/978-3-540-78663-4_7
|View full text |Cite
|
Sign up to set email alerts
|

Relational Analysis for Delivery of Services

Abstract: Abstract. Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that can both be checked and computed in polynomial time. In this paper we develop a static analysis in relational form which substantially improves the precision of the results obtained while being able to deal with the full generality of the syntax of processes. The analysis reveals a feasible complexity for practical examples … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Publication Types

Select...
3
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 14 publications
0
1
0
Order By: Relevance
“…Third, the mathematical relationship between these 2 quantities (positive network externalities and number of actors) represents a power law [ 55 - 57 ]. Marketing experts have observed this phenomenon and have intuitively referred to it as the 1% rule or the 90-9-1 principle [ 58 , 59 ]. Both concepts are related to the Pareto principle [ 60 ], and applied empirically, they have shown to be intrinsic to social network structure [ 61 - 63 ].…”
Section: Introductionmentioning
confidence: 99%
“…Third, the mathematical relationship between these 2 quantities (positive network externalities and number of actors) represents a power law [ 55 - 57 ]. Marketing experts have observed this phenomenon and have intuitively referred to it as the 1% rule or the 90-9-1 principle [ 58 , 59 ]. Both concepts are related to the Pareto principle [ 60 ], and applied empirically, they have shown to be intrinsic to social network structure [ 61 - 63 ].…”
Section: Introductionmentioning
confidence: 99%