Presentation	2003/5/23 Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition Susumu KIYAMURA, Yoshiaki TAKATA, Hiroyuki SEKI,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	In this paper, we consider a process decomposition problem which allows one to use additional synchronization events, and propose a new decomposition method. The process decomposition problem is such that given a single labeled transition system (LTS) L_, construct LTSs L_1,...,L_n such that the composite process of L_1,....,L_n is observably bisimulation equivalent to L_. The main advantage of the proposed method is that the size of the decomposed LTSs is often much smaller than known methods. Especially, we focus on simple counters and generalized counters and present an algorithm which decomposes a simple (or generalized) counter into smaller counters by using the proposed method.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Prarallel System / Labeled Transition System(LTS) / Process Decomposition / Counter Process / Bisimulation
Paper #	SS2003-4
Date of Issue

Conference Information
Committee	SS
Conference Date	2003/5/23(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Software Science (SS)
Language	ENG
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition
Sub Title (in English)
Keyword(1)	Prarallel System
Keyword(2)	Labeled Transition System(LTS)
Keyword(3)	Process Decomposition
Keyword(4)	Counter Process
Keyword(5)	Bisimulation
1st Author's Name	Susumu KIYAMURA
1st Author's Affiliation	Graduate School of Information Science, Kara Institute of Science and Technology()
2nd Author's Name	Yoshiaki TAKATA
2nd Author's Affiliation	Graduate School of Information Science, Kara Institute of Science and Technology
3rd Author's Name	Hiroyuki SEKI
3rd Author's Affiliation	Graduate School of Information Science, Kara Institute of Science and Technology
Date	2003/5/23
Paper #	SS2003-4
Volume (vol)	vol.103
Number (no)	102
Page	pp.pp.-
#Pages	6
Date of Issue