An Asynchronous Process Algebra with Multiple Clocks

@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}, keywords = {algebra, process}, posted-at = {2007-02-02 06:38:06}, priority = {4}, title = {An Asynchronous Process Algebra with Multiple Clocks}, url = {http://citeseer.ist.psu.edu/170972.html}, year = {1994} }

TY - GEN ID - citeulike:1082932 L3 - citeulike-article-id:1082932 TI - An Asynchronous Process Algebra with Multiple Clocks 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... KW - algebra KW - process AU - Andersen, H AU - Mendler, M PY - 1994/// UR - http://citeseer.ist.psu.edu/170972.html ER -