|
Published Articles >> Table of Contents >> Abstract
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
pp. 54-63
Operational Semantics for Real-Time Processes with Action Refinement
Xiuli Sun, Chinese Academy of Sciences, China
Jinzhao Wu, Universitat Mannheim, Germany
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.32
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
Xiuli Sun, Jinzhao Wu,
"Operational Semantics for Real-Time Processes with Action Refinement,"
sefm,
pp. 54-63,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05),
2005
|
|
