Abstract. In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant dis- tant actions.
Jun 9, 2005 · In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions.
Approximative analysis by process algebra with graded spatial actions
www.researchgate.net › download
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions.
A process algebra, CCSG, in which one can approximately analyze processes by neglecting unimportant distant actions, which is useful for large systems.
Conference Paper. Maintenance of ambiences for mobile systems. T. Ando, K. Takahashi, Y. Kato and N. Shiratori. Conference: Proceedings of the 1999 ...
May 22, 2017 · Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki: Approximative Analysis by Process Algebra with Graded Spatial Actions. AMAST 1996: 336-350.
2019. Approximative analysis by process algebra with graded spatial actions. Y Isobe, Y Sato, K Ohmaki. Algebraic Methodology and Software Technology: 5th ...
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions.
Isobe, Y., Y. Sato and K. Ohmaki, Approximative Analysis by Process Algebra with Graded Spatial Actions, in: Proc. AMAST '96 (1996), pp. 336–350. Google ...
Approximative Analysis by Process Algebra with Graded Spatial Actions. Abstract. In this paper we propose a process algebra, CCSG, in which we can ...