The winner takes it all -- How to win network globalization
Chengyuan Han, Dirk Witthaut, Marc Timme, and Malte Schr\"oder

TL;DR
This paper models trade network evolution as a percolation problem to understand how a node's topological position influences its success during different stages of globalization, considering the speed of globalization.
Contribution
It introduces a model linking trade network topology to node importance, revealing how topological advantage affects success at various globalization stages.
Findings
Node position influences success during globalization
Topological features determine node importance at different stages
Speed of globalization affects the impact of network topology
Abstract
Quantifying the importance and power of individual nodes depending on their position in socio-economic networks constitutes a problem across a variety of applications. Examples include the reach of individuals in (online) social networks, the importance of individual banks or loans in financial networks, the relevance of individual companies in supply networks, and the role of traffic hubs in transport networks. Which features characterize the importance of a node in a trade network during the emergence of a globalized, connected market? Here we analyze a model that maps the evolution of trade networks to a percolation problem. In particular, we focus on the influence of topological features of the node within the trade network. Our results reveal that an advantageous position with respect to different length scales determines the success of a node at different stages of globalization…
Click any figure to enlarge with its caption.
Figure 1
Figure 2
Figure 3
Figure 4
Figure 5Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The winner takes it all - How to win network globalization
Chengyuan Han
Forschungszentrum Jülich, Institute for Energy and Climate Research - Systems Analysis and Technology Evaluation (IEK-STE), 52428 Jülich, Germany
Institute for Theoretical Physics, University of Cologne, 50937 Köln, Germany
Dirk Witthaut
Forschungszentrum Jülich, Institute for Energy and Climate Research - Systems Analysis and Technology Evaluation (IEK-STE), 52428 Jülich, Germany
Institute for Theoretical Physics, University of Cologne, 50937 Köln, Germany
Marc Timme
Chair for Network Dynamics, Center for Advancing Electronics Dresden (cfaed) and Institute for Theoretical Physics, TU Dresden 01062 Dresden, Germany
Malte Schröder
Chair for Network Dynamics, Center for Advancing Electronics Dresden (cfaed) and Institute for Theoretical Physics, TU Dresden 01062 Dresden, Germany
Abstract
Quantifying the importance and power of individual nodes depending on their position in socio-economic networks constitutes a problem across a variety of applications. Examples include the reach of individuals in (online) social networks, the importance of individual banks or loans in financial networks, the relevance of individual companies in supply networks, and the role of traffic hubs in transport networks. Which features characterize the importance of a node in a trade network during the emergence of a globalized, connected market? Here we analyze a model that maps the evolution of trade networks to a percolation problem. In particular, we focus on the influence of topological features of the node within the trade network. Our results reveal that an advantageous position with respect to different length scales determines the success of a node at different stages of globalization and depending on the speed of globalization.
I Introduction
Global connectivity is central to our social, economic and technical development Newman (2003); Albert and Barabási (2002); Easley and Kleinberg (2010); Havlin et al. (2012). The growth of a global transportation network has dramatically changed world economy and led to increased efficiency and more centralized production Krugman (1991a). But this global connectivity also bears new, systemic risks - highlighted in particular in the financial sector Schweitzer et al. (2009); Piccardi and Tajoli (2018).
Economies of scale are a major driving force in the formation of many of these socio-economic networks. Generally, a well developed economic agent with high connectivity is more attractive or competitive compared to smaller, less developed agents. The larger agents thus naturally attract even more connections Kumar et al. (2000, 2010); Molkenthin et al. (2018). In social network theory, this principle is commonly referred to as preferential attachment, driving the formation of scale-free networks Barabási and Albert (1999). In economic theory, economies of scale have been identified as a key mechanism leading to the emergence of trade networks and globalization Krugman (1991a, b). More recently, we have seen the emergence of quasi-monopolies in digital platform economies where economies of scale are particularly strong Katz and Shapiro (1994); Shapiro et al. (1998); Brousseau and Penard (2007). In this case the winner takes it all. But who wins and how?
Understanding which node in a network is the most important one and how it ‘wins’ over the competition in a network globalization process is still largely an open question. In particular, a systematic study of network formation in a heterogeneous geographic environment is a demanding task. Percolation models describing network growth typically involve random processes Stauffer and Aharony (1992); Saberi (2015); D’Souza and Nagler (2015), while optimization models of the network structure typically start from a single global objective function Sole and Montoya (2001); Milo et al. (2002); Gastner and Newman (2006); Memmesheimer and Timme (2006); Ronellenfitsch and Katifori (2016). However, neither model class fully describes socio-economic networks, whose formation is determined by the individual decisions (optimization, non-random) of interacting agents (multiple different objective functions). Economic equilibrium models and game-theoretic models capture these interactions and the individual decision but quickly become intractable as the number of agents increases Bala and Goyal (2000); Jackson and Watts (2002); Even-dar and Kearns (2007); Jackson (2008); Easley and Kleinberg (2010); Atabati and Farzad (2015).
In this article, we study a supply network model that explicitly includes nonlinear nonconvex economies of scale and transportation costs and simultaneously enables a semi-analytical treatment by mapping the evolution of the trade network to a percolation problem Schröder et al. (2018). In the model, agents try to satisfy a given demand at minimum costs, either through domestic production or via imports. Economies of scale favor the centralization of production and the emergence of trade. On the other hand, non-zero transportation costs favor distributed production. Simulating the evolution of the trade network in this model allows us to systematically study how globalization takes place, how the transportation network affects globalization, and last but not least which geographic factors provide an advantage for the economic agents. In particular, we demonstrate that the way to ‘win’ the globalization process is to be in an advantageous position on the correct length scale. We show that the length scale characterizing the competitiveness of a node changes depending on the stage of globalization and the speed of globalization process.
II Methods
II.1 Economic percolation model
We analyze the influence of topological features on the importance of nodes in a network formation model recently introduced by Schröder et al. Schröder et al. (2018). The model describes the formation of trade interactions based on a fundamental network supply problem Krugman (1991a, b). The basic idea is as follows: Each node (or economic agent) in the network has a fixed demand (identical for all nodes). A node can either fill this demand by domestic production or by making purchases from other nodes it is connected to via the underlying transport network. Filling this demand always incurs costs for node : (I) production costs for production at node , even for domestic production where , and (II) transport costs for transport from node to node if node makes purchases from other nodes (). This general setup is illustrated in Fig 1.
The production costs of goods manufactured at node and consumed at node are given by
[TABLE]
where denotes the amount of goods produced at node and consumed at node . The costs per unit are decreasing with the total production due to economies of scale at node . This means production becomes more efficient for larger quantities. Throughout this article we assume a linear relation
[TABLE]
for the sake of simplicity, where the parameter directly quantifies the strength of the economies of scale and is a constant offset different for each node, describing inherent production cost advantages.
The transport costs
[TABLE]
are proportional to the amount of purchased goods and the distance between the nodes in the underlying transport network. The proportionality factor controls the importance of transport costs relative to production costs. In real-world settings, it typically decreases over time due to technological advancements in the transport sector and serves as the main control parameter for the network formation model. Together, the total costs for node read
[TABLE]
as illustrated in Fig 1.
Each node chooses its purchases in order to minimize its costs under the constraint that it exactly satisfies its demand, . In general, this leads to interacting nonlinear and nonconvex optimization problems as the production costs depend on the purchases of all nodes. Nevertheless, a resulting Nash equilibrium, where no node can further decrease its costs by changing its supplier, can be computed efficiently as shown in Schröder et al. (2018): Each node chooses only a single supplier (either itself or one other node in the network) that can be found efficiently with an adapted breadth-first-search. We study the evolution of trade networks starting from the limit of infinite transport costs, , such that all nodes purchase locally and no trade takes place. As the importance of transport costs decreases, some nodes start to make non-local purchases such that the production of other nodes increases. Eventually, large common markets (clusters) emerge in the network of trades , each with a single supplier node . In the end, when transport costs disappear, , only one giant market (cluster) remains with a single supplier with globally centralized production . This evolution is illustrated in Fig 2 for a small planar network.
In this article we study two main aspects of the formation of this trade network: First, how does centralization occur? That is, how does the transition from local production at large to centralized production at low take place? Second, we analyze who ‘wins’ the competition. That is, which node becomes the final supplier as production is fully centralized for .
II.2 Analysis of network structure
The economic percolation model includes heterogeneous geographical conditions explicitly. The matrix encodes the distances of all pairs of nodes which depends on their geographic location and the structure of the underlying transportation network. Hence, the model allows to systematically study the influence of geographical or topological properties on the formation of trade and the centralization of production. Are there any geographical or topological features that determine which node becomes the final supplier and which does not?
To study the impact of the transport network topology, we consider four different random network ensembles. We start from an ensemble of geographically embedded networks obtained by distributing nodes uniformly at random on the unit square. Edges are constructed by a Delaunay triangulation with periodic boundary conditions. Each of the resulting links is undirected and assigned a distance equal to the Euclidean distance between the connected nodes. The distance of two arbitrary nodes in the network is finally obtained as the geodesic or shortest path distance in the network.
The other random network ensembles are obtained from the initial ensemble by a reshuffling of the edges. This procedure keeps the number of connections and the distribution of the individual edge lengths identical and thus leaves the networks comparable to each other. We apply three different reshuffling procedures creating randomizations with different properties: First, we keep the structure of the network the same but choose a random permutation of the distances (random weights). This breaks correlations between the link distances and the node position. Second, we uniformly randomly rewire all links to different nodes under the constraint that the resulting network is connected. The network then has a topology corresponding to a Poisson random network Albert and Barabási (2002). Comparison of this randomization to the original network allows us to understand the impact of regular versus random network topologies. Third, we create a Barabasi-Albert scale-free network with the same number of links and the same distances for the links Barabási and Albert (1999). We thus create four different ensembles with identical average degree and edge lengths, but vastly different global structures. For instance, the degree distribution changes from narrow for the geometric and Poisson random networks to heavy-tailed for for scale-free networks.
II.3 Model parameters
In addition to the structure of the transportation network, several model parameters determine the course of globalization. First, we note that the system evolution is invariant with respect to a rescaling of the costs. In particular, we can set by choosing an appropriate unit system. A rescaling of the distances can be absorbed into the main control parameter describing the transport cost per unit. It characterizes the relative importance of transportation costs with respect to production costs.
Two parameters and characterize the production costs via the costs per unit [Eq. (2)]. Since only the relative ordering of the costs are relevant to compare different suppliers (in the form of ), we scale the costs such that all with and . In particular, we choose the uniformly at random from the interval . The second parameter characterizes the economies of scale and has a strong impact on the model behavior. We perform simulations for vastly different values to cover different regimes of globalization. To put this into context, note that total centralization of production leads to a decrease of production costs by exactly for . Economies of scale are negligible if is much smaller than typical differences of the cost parameter , i.e., for . Economies of scale are dominant if is of the order of the largest difference of the , i.e. for . The range covers both regimes.
In summary, we perform simulations for four different transportation network ensembles and several values of . For each case we consider different random realizations of the network with different permutations of the each, resulting in measurements per ensemble and value of . For each realization, we start the simulation in the limit of large transport costs, , without any trade interactions. We then gradually lower and record the emergence of a trade network, i.e., the emergence of connected components of the network defined by the purchases , as well as the final supplier for .
III Results
III.1 How does globalization emerge?
To understand the emergence of a globalized market we record the size of the largest markets as the transport costs decrease from (no trade) to (single, global market). A trade network between nodes emerges as transportation costs decrease. An example of the globalization of production is shown in Fig 2 for a small geographically embedded random network. For , several nodes have already decided to purchase their goods from other neighboring nodes and multiple markets have formed where production is centralized to a single node. The markets grow when decreases to as further nodes decide to purchase non-locally. Finally, many nodes again change their supplier, joining one large, global market with strong economies of scale instead of the smaller local markets. In the end, as , production is fully centralized at a single node. The size of the four largest markets is shown in Fig 2 (a) as a function of the transportation cost parameter .
Inspecting this evolution, we are directly led to the question how the transition to globalization takes place under different circumstances. Is it very sudden with a single large change in the size of the largest market or is the transition slow and the largest market grows gradually as decreases? Does a single node expand its market or do multiple large markets grow and only later merge to one global market? To answer these questions, we measure the largest gap in the size (total production) of the largest market Nagler et al. (2011) as well as the maximum size of the second largest market , the third largest market and so on over the course of the evolution from infinite to zero transport costs (see Fig 3). The maximal size of the second largest market in particular measures how much markets grow before global centralization occurs. If it is small, only a single large market emerges and local competitiveness is relevant to gain an early advantage. If it is large, at least two large markets expand side by side before one of them becomes globally dominant and production is completely centralized. Here, the markets have to compete against each other on a larger length scale. The maximal size of the second largest market serves a proxy for this length scale.
If economies of scale are weak (small values of ), multiple large markets coexist before they finally merge. As becomes larger, the maximum size of all markets except the largest one decreases. Finally, for strong economies of scale , only a single market grows. Correspondingly, globalization becomes more and more abrupt with increasing , measured by the growth of the gap . We thus obtain the following picture: For weak economies of scale, several markets grow and finally merge in a gradual process. For strong economies of scale, only local markets exist until globalization sets in abruptly. After this sudden transition, exactly one large market remains.
We observe rather little differences between the four network ensembles under consideration. The transition from gradual to abrupt globalization is qualitatively the same in all networks and also the transition point is remarkably similar. While the transition is gradual (no large gaps) for , it is sudden for for all networks. Slight differences are observed only for . While the maximum gap is larger than for all realization of the random planar network, the transition is still gradual with smaller changes of the largest cluster for most realizations of a scale-free network.
This is rather surprising, as scale free networks are characterized by the existence of hubs, a few nodes with very high degree. At first glance, one might expect that these hubs can exploit economies of scale most easily, making the transition abrupt already for small . Our results show that this simple reasoning fails. The impact of economies of scale on the transition and on the competitiveness of nodes is more subtle. In fact, different hubs have to compete in the globalization process when the economies of scale are not dominant (small ). Thus, while hubs allow for the easier formation of local markets, these markets then have to compete on a larger length scale (measured by the maximum size of the second largest market), where the local properties of the central supplier, such as the high degree of the hubs, are less important. Overall, this competition slows down the centralization of production in scale-free networks.
III.2 Who wins globalization?
Understanding how globalization occurs, we now address the question who wins the competition in the current model. That is, which node becomes the final supplier of the network for ? Are there any geographic features which determine a node’s competitiveness?
To characterize the geographical location of a node in a network, we consider several different centrality measures that measure different aspects of a node’s position in the network:
- (i)
cost centrality
- (ii)
local closeness centrality
- (iii)
global closeness centrality Sabidussi (1966); Newman (2010)
- (iv)
degree centrality Newman (2010)
- (v)
betweenness centrality Freeman (1977); Newman (2010).
These quantities measure the advantage of the nodes in terms of (i) global production costs, (ii) small transport costs to a local trade partner, (iii) small transport costs to the whole network, (iv) immediate access to different trade partners and (v) position of the node along many trade routes.
We generally expect that all these properties are beneficial for the nodes. For example, a high cost centrality implies that production is cheap – at least until production costs decrease significantly due to economies of scale. The node with the highest cost centrality would be the socially optimal supplier when and minimize the total costs across all nodes. Similarly, a high global closeness centrality implies that transportation is cheap on average, making the node an attractive global supplier when transport costs are not zero. The remaining three centrality measures also point to a favorable position in the network, but their implication is less clear. High degree and local closeness point to an attractive local environment, while high betweenness centrality is a typical measure of importance in social networks and means that many shortest transportation routes cross the respective node.
To understand which of these properties most strongly influences the competitiveness of a node, we rank all nodes according to their centralities and evaluate if the final suppliers typically have a high or low ranking. We record the final supplier and its centrality ranking for each random realization of the globalization process. The resulting distributions of the ranks of the final supplier are shown in Fig 4 for the four network ensembles under consideration. In addition, we fit a distribution to the observed centrality rankings to quantify the importance of the respective centrality. A value of indicates a flat distribution, i.e., no influence of the centrality rank on the chance to become the final supplier. The higher the value of , the stronger the correlation, and the more meaningful the respective centrality to predict which node wins the competition.
The first, expected observation is the influence of the cost centrality of a node . For weak economies of scale (small ) the production costs are dominated by the cost parameters and low production costs are decisive for the competitiveness of a node. For all network ensembles under consideration, cost centrality is the best indicator for competitiveness for small , whereas its importance decreases for stronger economies of scale.
The second, more striking observation is the importance of the local closeness centrality. In the case of strong economies of scale , this centrality measure provides the best indicator for the competitiveness of a node. The histogram of the centrality ranking peaks strongly at top ranks. Local closeness is even more important than global closeness, although we evaluate the global competitiveness of the nodes. Again, this finding holds true for all four network ensembles.
A surprising correlation is found for the two remaining centrality measures, degree and betweenness, for the spatially embedded random network. Contrary to our expectation, the final supplier typically has a low degree and betweenness centrality for strong economies of scale . This effect is lost or even reversed for the other network ensembles and can be attributed to a subtle geometric property of spatially embedded random networks. In this network class, local closeness centrality is anti-correlated with degree and betweenness centrality. As competitive nodes have a high local closeness, they are likely to have a low degree and betweenness centrality. This observation is particularly relevant since real-world transportation networks are typically spatially embedded, with the exception of digital, data exchange networks. ote that similar correlations exist for other network ensembles as well. For example, nodes with a high degree centrality in the reshuffled scale free networks typically also have high local closeness centrality, due to more opportunities for a short link.
Finally, a more subtle implication of the centrality measures is that, depending on the parameter , the size or length scale of the relevant neighborhood changes. This length scale is defined by the critical size the largest cluster must reach before it becomes the global supplier. The effect is illustrated in Fig 5. For small , the number of customers does not affect the costs very much and one new customer allows the supplier to attract customers only in a small additional range [Fig 5 (a)]. Consequently, a node must attract a larger number of customers to become globally competitive and the critical size is (almost) equal to the total size of the network. In this regime, global centrality measures like the cost centrality are most relevant. For intermediate , a single customer allows the supplier to attract nodes in a larger range [Fig 5 (b)]. The critical length scale becomes smaller and we need to put more weight to the local structure. In this regime, the global closeness centrality and the degree centrality start to become better predictors, quantifying the centrality of a node in a local neighborhood. Finally, for very large , the critical size of the largest cluster becomes and one single customer induces a sufficiently large change in production costs for the supplier to become globally competitive [Fig 5 (c)]. The centrality of a node in its most local context then becomes the deciding factor. This is best measured by the distance to the nearest neighbor, the local closeness centrality .
Comparing results across the different network topologies, we find that the network topology becomes more important when the diameter is smaller, i.e., for Poisson and scale-free network structure. Since the total transport costs in these networks are smaller (proportional to the smaller diameter of these networks), the critical size to become the global supplier is also smaller. Thus, local length scales and the (local) network structure become important already for smaller values of .
IV Conclusion and Discussion
Economies of scale are a decisive factor in the formation of socio-economic networks and the globalization and centralization of economic activities. Eventually, the winner takes all. Here we have studied core aspects of the question who wins and how.
The formation of socio-economic networks is a guiding research question across disciplines, including economics Krugman (1991a, b); Schweitzer et al. (2009); Havlin et al. (2012), sociology Jackson (2008); Easley and Kleinberg (2010); van Dolder and Buskens (2014) and statistical physics Barabási and Albert (1999); Albert and Barabási (2002). Key mechanisms and global properties of network formation through economies of scale have been thoroughly analyzed Krugman (1991a); Barabási and Albert (1999); Jackson (2008), whereas the microscopic processes in large systems with many heterogeneous actors are much harder to grasp. Most traditional models of network formation do not explicitly capture the behavior of individual actors Bertsekas (1998); Barabási and Albert (1999); Saberi (2015). Percolation models are based on random processes, while optimization models typically assume a common global objective function. In contrast, game theoretic models describing individual agents Watts (2001); Jackson and Watts (2002); Gastner and Newman (2006); Even-dar and Kearns (2007) are typically hard, if not impossible, to solve for large heterogeneous systems. In this article, we have analyzed a supply network model Schröder et al. (2018) that explicitly includes economies of scale and individual decisions, yet remains simple enough to allow for an efficient simulation of network formation and centralization in large heterogeneous environments. We exploit this fact to reveal the most important topological properties that determine the success of a node in the globalization process. We find that different length scales determine the success of a node, depending on the speed of the globalization.
The model yields the structure of a trade network given an underlying transportation network as a function of two main parameters: the strength of economies of scale and the transport costs per distance . As transport costs decrease, trade links are established and the production is centralized to fewer and fewer nodes. For weak economies of scale, this process is gradual. Nodes compete at all length scales and the internal cost parameters are decisive for the competitiveness of a node. Only nodes with low productions costs have a chance to become the final supplier of the network once production is centralized completely. The geographic location of the nodes in the network, characterized by different centrality measures, plays only a minor role. In contrast, if economies of scale become dominant, this picture changes entirely: Production is centralized in a single transition once transportation costs decrease below a critical value. Only a single node attracts a significant number of customers and wins the competition. Moreover, the transition becomes abrupt and as such hard to foresee. The chance of a node to win is now mostly determined by the location of the node in the network. Interestingly, however, global centrality measures are not the best indicator for competitiveness. Instead, a local measure of the distance to the nearest neighbor, referred to as local closeness, is the best indicator for the success of a node.
Loosely speaking, we our findings are as follows: For weak economies of scale the internal properties of a node or economic agent are decisive. Competition occurs across all length scales in the network and basic efficiency provides the greatest advantage in all stages of globalization. Only the (globally) most efficient nodes have a chance to take over the market. For strong economies of scale speed becomes the most important factor, rather than efficiency or global location. Competition occurs only locally to gain a first advantage and only the agent with the highest local closeness can rapidly attract the first external customers and then exploit economies of scale to grow its market, skipping over the competition in other stages of globalization. For the future it would be of eminent interest to study how other factors influencing globalization confirm or modify these findings and whether they can be confirmed in real world settings.
V Acknowledgements
We gratefully acknowledge support from the Helmholtz association (grant no. VH-NG-1025 to DW), the German Ministry for Education and Research (BMBF grants no. 03SF0472A-F and 03EK3055 to DW and MT) and the German Science Foundation (DFG) by a grant towards the Cluster of Excellence Center for Advancing Electronics Dresden (cfaed).
VI Author Contributions
Conceptualization: Dirk Witthaut and Malte Schröder
Formal Analysis: Chengyuan Han and Malte Schröder
Funding Acquisition: Dirk Witthaut and Marc Timme
Investigation: Chengyuan Han and Malte Schröder
Methodology: Chengyuan Han, Dirk Witthaut and Malte Schröder
Project Administration: Dirk Witthaut and Malte Schröder
Resources: Chengyuan Han, Dirk Witthaut, Malte Schröder and Marc Timme
Software: Chengyuan Han and Malte Schröder
Supervision: Dirk Witthaut and Malte Schröder
Validation: Chengyuan Han and Malte Schröder
Visualization: Malte Schröder
Writing – Original Draft Preparation: Dirk Witthaut and Malte Schröder
Writing – Review and Editing: Chengyuan Han, Dirk Witthaut, Marc Timme and Malte Schröder
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Newman (2003) M. Newman, SIAM Review 45 , 167 (2003).
- 2Albert and Barabási (2002) R. Albert and A.-L. Barabási, Rev. Mod. Phys. 74 , 47 (2002).
- 3Easley and Kleinberg (2010) D. Easley and J. Kleinberg, Networks, crowds, and markets: Reasoning about a highly connected world (Cambridge University Press, Cambridge, 2010).
- 4Havlin et al. (2012) S. Havlin, D. Y. Kenett, E. Ben-Jacob, A. Bunde, R. Cohen, H. Hermann, J. Kantelhardt, J. Kertész, S. Kirkpatrick, J. Kurths, J. Portugali, and S. Solomon, Eur. Phys. J. Special Topics 214 , 273 (2012).
- 5Krugman (1991 a) P. R. Krugman, Geography and trade (MIT press, Cambridge, MA, 1991).
- 6Schweitzer et al. (2009) F. Schweitzer, G. Fagiolo, D. Sornette, F. Vega-Redondo, A. Vespignani, and D. R. White, Science 325 , 422 (2009).
- 7Piccardi and Tajoli (2018) C. Piccardi and L. Tajoli, Plo S one 13 , e 0208265 (2018).
- 8Kumar et al. (2000) R. Kumar, P. Raghavan, S. Rajagopalan, D. Sivakumar, A. Tomkins, and E. Upfal, in Proceedings 41st Annual Symposium on Foundations of Computer Science (2000) pp. 57–65.
