| dc.contributor.author |
Hoang, Chi Thanh |
|
| dc.date.accessioned |
2011-04-20T04:49:24Z |
|
| dc.date.available |
2011-04-20T04:49:24Z |
|
| dc.date.issued |
2007 |
|
| dc.identifier.citation |
VNU Journal of Science, Mathematics - Physics 23 (2007) 113-121 |
vi |
| dc.identifier.issn |
0866-8612 |
|
| dc.identifier.uri |
http://hdl.handle.net/123456789/964 |
|
| dc.description |
VNU Journal of Science, Mathematics - Physics. Vol. 23 (2007), No 2, P. 113-121 |
vi |
| dc.description.abstract |
In this paper we investigate and build up three methods for transforming sequential
processes of a net system into concurrent ones. These methods are based on: trace languages, shiftleft
and case graphs. They are also presented by detail algorithms and can be applied to other
models of concurrent systems. |
vi |
| dc.language.iso |
en |
vi |
| dc.publisher |
ĐHQGHN |
vi |
| dc.subject |
net system |
vi |
| dc.subject |
reliance alphabet |
vi |
| dc.subject |
trace language |
vi |
| dc.subject |
maximal concurrent steps |
vi |
| dc.subject |
case graph |
vi |
| dc.title |
Some methods for transforming sequential processes into concurrent ones |
vi |
| dc.type |
Article |
vi |