Domains of Higher-Dimensional Automata

@inproceedings{citeulike:1086124, abstract = {. We carry on the program set up in [GJ92] by giving constructions of \"domains of higher-dimensional automata (HDA)\" on which we can define the truly-concurrent semantics of parallel languages, much in the style of domain theory (see [GS90]). In [GJ92] we gave a semantics for CCS-like languages. In this article, we show how to extend the technique to languages with real states, while keeping nice algebraic definitions. In particular, we are still able to compute local invariants which can...}, author = {Goubault, Eric }, booktitle = {International Conference on Concurrency Theory}, citeulike-article-id = {1086124}, keywords = {domains, hda}, pages = {293--307}, posted-at = {2007-02-03 15:29:37}, priority = {2}, title = {Domains of Higher-Dimensional Automata}, url = {http://citeseer.ist.psu.edu/goubault93domains.html}, year = {1993} }

TY - CONF ID - citeulike:1086124 L3 - citeulike-article-id:1086124 TI - Domains of Higher-Dimensional Automata T2 - International Conference on Concurrency Theory SP - 293 EP - 307 N2 - . We carry on the program set up in [GJ92] by giving constructions of "domains of higher-dimensional automata (HDA)" on which we can define the truly-concurrent semantics of parallel languages, much in the style of domain theory (see [GS90]). In [GJ92] we gave a semantics for CCS-like languages. In this article, we show how to extend the technique to languages with real states, while keeping nice algebraic definitions. In particular, we are still able to compute local invariants which can... KW - domains KW - hda AU - Goubault, Eric PY - 1993/// UR - http://citeseer.ist.psu.edu/goubault93domains.html ER -