### Abstract

Original language | English |
---|---|

Title of host publication | Handbook of Process Algebra |

Editors | J.A. Bergstra, A. Ponse, S.A. Smolka |

Place of Publication | Amsterdam |

Publisher | Elsevier |

Pages | 1209-1268 |

ISBN (Print) | 0-444-82830-3 |

Publication status | Published - 2001 |

### Fingerprint

### Cite this

*Handbook of Process Algebra*(pp. 1209-1268). Amsterdam: Elsevier.

}

*Handbook of Process Algebra.*Elsevier, Amsterdam, pp. 1209-1268.

**Discrete time process algebra and the semantics of SDL.** / Bergstra, J.A.; Middelburg, C.A.; Usenko, Y.S.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Discrete time process algebra and the semantics of SDL

AU - Bergstra, J.A.

AU - Middelburg, C.A.

AU - Usenko, Y.S.

PY - 2001

Y1 - 2001

N2 - We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.

AB - We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are combined. Except the counting process creation operator, which subsumes the original process creation operator, these features have been developed earlier as largely separate extensions of time free process algebra. The change to the discrete time case and the combination of the features turn out to be far from trivial. We also propose asemantics for a simplified version of SDL, using this extension of discrete time process algebra to describe the meaning of the language constructs. This version covers all behavioural aspects of SDL, except for communication via delaying channels - which can easily he modelled. The semantics presented here facilitates the generation of finitely branching transition systems for SDL specifications and thus it enables validation.

M3 - Chapter

SN - 0-444-82830-3

SP - 1209

EP - 1268

BT - Handbook of Process Algebra

A2 - Bergstra, J.A.

A2 - Ponse, A.

A2 - Smolka, S.A.

PB - Elsevier

CY - Amsterdam

ER -