Some geometric perspectives in concurrency theory

@misc{citeulike:854174, abstract = {Concurrency, i.e. the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of \"geometric\" models for concurrency. We show that the properties we want to prove on concurrent systems are stable under some form of deformation, which is almost homotopy. In fact, as the \"direction \" of time matters, we have to allow deformation only as long as we do not...}, author = {Goubault, E. }, citeulike-article-id = {854174}, keywords = {concurrency, dimension, geometry}, posted-at = {2006-09-22 09:41:51}, priority = {2}, title = {Some geometric perspectives in concurrency theory}, url = {http://citeseer.ist.psu.edu/goubault03some.html}, year = {2003} }

TY - GEN ID - citeulike:854174 L3 - citeulike-article-id:854174 TI - Some geometric perspectives in concurrency theory N2 - Concurrency, i.e. the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of "geometric" models for concurrency. We show that the properties we want to prove on concurrent systems are stable under some form of deformation, which is almost homotopy. In fact, as the "direction " of time matters, we have to allow deformation only as long as we do not... KW - concurrency KW - dimension KW - geometry AU - Goubault, E PY - 2003/// UR - http://citeseer.ist.psu.edu/goubault03some.html ER -