Trace Semantics for IPDL

Abstract Other than relation semantics, IPDL, the extension of PDL with intersection of actions, has a natural trace semantics where the interpretation of an action is a set of sequences of states. IPDL in trace semantics can describe paced concurrent games very well. Surprisingly, IPDL can be reduced to a sublanguage of it in which intersection connects only atomic actions.

Authors

• Fengkui Ju
• Nana Cui
• Shujiao Li

Keywords

No keywords are indexed for this paper.