Presentation	1999/1/23 Hyperlattice Representation for Scopes of Channel Names in Concurrent Processes Masaki Murakami,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	This paper presents a method for representation of scopes of bounded channel names using regions on hyper lattices instead of existing restriction operation. A concurrent process is represented as an n dimensional hypercube such that the length of the edges is m where m is the number of processes and n is the number of local names. The notation presented here make possible to represent the scope of all bounded names explicitly and exactly at any moment.Then it is not necessary to transform using equations of structure congruence to see the scope of each name exactly as conventional representation that uses restriction operations. This paper presents the syntax of processes that is equipped with name passing features using the new scope notation. The operational semantics of the processes is defined by a labelled transition system on the new syntax.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	π-calculus / bound name / hyperlattice
Paper #	SS98-51
Date of Issue

Conference Information
Committee	SS
Conference Date	1999/1/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	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Hyperlattice Representation for Scopes of Channel Names in Concurrent Processes
Sub Title (in English)
Keyword(1)	π-calculus
Keyword(2)	bound name
Keyword(3)	hyperlattice
1st Author's Name	Masaki Murakami
1st Author's Affiliation	Faculty of Engineering, Okayama University()
Date	1999/1/23
Paper #	SS98-51
Volume (vol)	vol.98
Number (no)	559
Page	pp.pp.-
#Pages	8
Date of Issue