Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/57471
Title: Some methods for transforming sequential processes into concurrent ones
Authors: Hoang, Chi Thanh
Keywords: net system;reliance alphabet;trace language;maximal concurrent steps;case graph
Issue Date: 2007
Publisher: H. : ĐHQGHN
Series/Report no.: Vol. 23;No. 2 (2007)
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, shift-left and case graphs. They are also presented by detail algonthms and can be applied to other models of concurrent systems.
Description: p. 113-121
URI: http://repository.vnu.edu.vn/handle/VNU_123/57471
ISSN: 2588-1124
Appears in Collections:Mathematics and Physics

Files in This Item:
Thumbnail

  • File : 165.pdf
  • Description : 
  • Size : 1.22 MB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.