| dc.contributor.author |
H.C., Thanh |
|
| dc.date.accessioned |
2011-05-10T07:17:40Z |
|
| dc.date.available |
2011-05-10T07:17:40Z |
|
| dc.date.issued |
2009 |
|
| dc.identifier.citation |
Volume: 5796 LNAI, Page : 174-182 |
vi |
| dc.identifier.issn |
3029743 |
|
| dc.identifier.uri |
http://tainguyenso.vnu.edu.vn/jspui/handle/123456789/7415 |
|
| dc.description.abstract |
The theory of traces was originated by A. Mazurkiewicz to model non-sequential behaviour of a
distributed system. The normal form of a trace shows us an optimal way to execute a process occurred on
the system. Nevertheless, the independence of actions in many systems is not static and depends on the
history of the systems. To describe this fact, D. Kuske and R. Morin proposed a notion of local
independence. Basing on the local independence, we introduce a notion of semi-trace, analyze its structure
and the relationship between traces and semi-traces. Furthermore, we investigate some applications of semitraces
in concurrency control problem. ?? 2009 Springer Berlin Heidelberg. |
vi |
| dc.language.iso |
en |
vi |
| dc.publisher |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
vi |
| dc.subject |
Local independence |
vi |
| dc.subject |
Distributed system |
vi |
| dc.subject |
Concurrency control |
vi |
| dc.title |
Semi-traces and their application in concurrency control problem |
vi |
| dc.type |
Article |
vi |