Abstract
In this chapter, we start our study of topology in process calculus. In an attempt to provide some useful mathematical tools for the understanding and analysis of infinite evolution of concurrent programs, we examine a theory of limits of agents in process calculus. The concepts of strong and weak bisimulation limits and trace limits of agents are introduced and these limits are shown to form a convergence class (see Kelley [1955], Chapter 2), so they induce so-called strong and weak bisimulation topologies and trace topology, respectively. These notions of limits can be used to describe the evolution of software as well as biological systems in which information is exchanged between cells. Furthermore, continuity of various combinators in process calculus with respect to these notions of limits is shown in respective sections.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ying, M. (2001). Bisimulation and Trace Limits of Agents. In: Topology in Process Calculus. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-0123-3_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0123-3_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6522-1
Online ISBN: 978-1-4613-0123-3
eBook Packages: Springer Book Archive