Abstract
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions. Although many kinds of process algebra have already been proposed, there is a common problem that the number of feasible action sequences explosively increases with the number of concurrent processes. Therefore, an approximative approach is useful for large systems.
We assume that each action has a grade which represents the importance. In CCSG, processes can be distributed in a space, and grades of observed actions decrease with distance. Hence observations of a system depend on the positions of observers. In this paper we give shift-(s)equivalence to relate observations at different positions, and give level- 〈r〉 equivalence to relate an approximative observation and the complete observation.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M.Tsujigao, T.Hikita, and J.Ginbayashi, “Process Composition and Interleave Reduction in Parallel Process Specification”, Proc. of JCSE'93, pp.218–225, 1993.
R.Milner, “Communication and Concurrency”, Prentice-Hall, 1989.
G.Boudol, I.Castellani, M.Hennessy, and A.Kiehn, “Observing localities”, Theoretical Computer Science, Vol.114, pp.31–61, 1993.
P.Krishnan,“Distributed CCS”, CONCUR'91, LNCS 527, Springer-Verlag, pp.393–407, 1991
Ugo Montanari and Daniel Yankelevich, “A Parametric Approach to Localities”, ICALP'92, LNCS 623, Springer-Verlag, pp.617–628, 1992
J.C.M.Baeten and W.P.Weijland, “Process Algebra”, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990.
J.C.M.Baeten and J.A.Bergstra, “Real Space Process Algebra”, CONCUR'91, LNCS 527, Springer-Verlag, pp.96–110, 1991
F.Moller and C.Tofts,“An overview of TCCS”, Proc. of EUROMICRO'92, 1992.
K.V.S.Prasad, “A Calculus of Broadcasting Systems”, TAPSOFT'91, Vol.1:CAAP, LNCS 493, Springer-Verlag, pp.338–358, 1991
Y.Isobe, Y.Sato, and K.Ohmaki, “A Calculus of Countable Broadcasting Systems”, AMAST'95, LNCS 936, Springer-Verlag, pp.489–503, 1995.
“The MBONE Information Web”, http://www.eit.com/techinfo/mbone/mbone. html.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Isobe, Y., Sato, Y., Ohmaki, K. (1996). Approximative analysis by process algebra with graded spatial actions. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014326
Download citation
DOI: https://doi.org/10.1007/BFb0014326
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive