loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Operational Semantics for Real-Time Processes with Action Refinement
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
Xiuli Sun, Chinese Academy of Sciences, China
Jinzhao Wu, Universitat Mannheim, Germany
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.
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
Usage of this product signifies your acceptance of the Terms of Use.