@inproceedings{2419e2670fb74980b8cf1c76826d5024,
title = "Towards a truly concurrent model for processes sharing resources",
abstract = "Conventional theories of concurrency reduce parallel processes to sequential ones. Here, we propose a true concurrency trace model which takes variables of parallel processes as a whole and runs parallel processes as simultaneous updates on variables. By equipping each resource an ownership variable, the model has a uniform treatment to both variable access conflicts and resource conflicts. A denotational semantics based on the model is studied. After that, we show how to use this model to build a correct resource scheduler, and specify pre-compilers such that the resulting systems do not incur conflicts and have less chance of deadlocks.",
keywords = "Resource Sharing, Semantic Model, Trace Model",
author = "Naiyong Jin and Jifeng He",
year = "2005",
doi = "10.1109/SEFM.2005.50",
language = "英语",
isbn = "0769524354",
series = "Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005",
pages = "231--239",
booktitle = "Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005",
note = "3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005 ; Conference date: 07-09-2005 Through 09-09-2005",
}