The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005)
Koblenz, Germany
Sept. 7, 2005 to Sept. 9, 2005
ISBN: 0-7695-2435-4
pp: 54-63
Jinzhao Wu , Universitat Mannheim, Germany
Xiuli Sun , Chinese Academy of Sciences, China
ABSTRACT
In this paper we propose an event-based operational interleaving semantics for a real-time process algebra, for which action refinement and a denotational true concurrency semantics have been developed and defined in terms of timed event structures by the second author. We characterize the timed event traces that are generated by the operational semantics in a denotational way, and show that this operational semantics is consistent with the denotational semantics in the sense that they generate the same set of timed event traces, thereby eliminating the gap between the true concurrency and interleaving semantics.
INDEX TERMS
null
CITATION
Jinzhao Wu, Xiuli Sun, "Operational Semantics for Real-Time Processes with Action Refinement", Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), vol. 00, no. , pp. 54-63, 2005, doi:10.1109/SEFM.2005.32
86 ms
(Ver 3.3 (11022016))