An Asynchronous Process Algebra with Multiple Clocks Export

@misc{citeulike:1082932, abstract = {. In this paper we introduce a novel approach to the specification of real-time behaviour with process algebras. In contrast to the usual pattern, involving a fixed, measurable, and global notion of time, we suggest to represent real-time constraints indirectly through uninterpreted clocks enforcing broadcast synchronization between processes. Our approach advocates the use of asynchronous process algebras, which admit the faithful representation of nondeterministic and distributed...}, author = {Andersen, H. and Mendler, M.}, citeulike-article-id = {1082932}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.6943}, keywords = {algebra, process}, posted-at = {2007-02-02 06:38:06}, priority = {4}, title = {An Asynchronous Process Algebra with Multiple Clocks}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.6943}, year = {1994} }

TY - GEN ID - citeulike:1082932 L3 - citeulike-article-id:1082932 N2 - . In this paper we introduce a novel approach to the specification of real-time behaviour with process algebras. In contrast to the usual pattern, involving a fixed, measurable, and global notion of time, we suggest to represent real-time constraints indirectly through uninterpreted clocks enforcing broadcast synchronization between processes. Our approach advocates the use of asynchronous process algebras, which admit the faithful representation of nondeterministic and distributed... TI - An Asynchronous Process Algebra with Multiple Clocks KW - algebra KW - process AU - Andersen, H AU - Mendler, M PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.6943 ER -