DMCA
Process Algebraic Underpinning of Communication and Timing in SDL (1996)
BibTeX
@MISC{Bergstra96processalgebraic,
author = {Jan A. Bergstra and Cornelis A. Middelburg},
title = {Process Algebraic Underpinning of Communication and Timing in SDL},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A process algebra semantics of 'SDL was given in a previous paper. All behavioural aspects of SDL are covered by 'SDL, including the time related ones. Here process creation and delaying channels are left out from 'SDL to concentrate on the process algebraic underpinning of SDL's most distinctive features, viz. its communication and timing mechanisms. Jan Bergstra is a Professor of Programming and Software Engineering at the University of Amsterdam and a Professor of Applied Logic at Utrecht University, both in the Netherlands. His research interest is in mathematical aspects of software and system development, in particular in the design of algebras that can contribute to a better understanding of the relevant issues at a conceptual level. He is perhaps best known for his contributions to the field of process algebra. E-mail: janb@fwi.uva.nl Kees Middelburg is a Senior Research Fellow at UNU/IIST. He is on a two year leave (1996--1997) from KPN Research and Utrecht University, the N...
Keyphrases
process algebraic underpinning utrecht university process creation nl kees middelburg distinctive feature jan bergstra research interest behavioural aspect conceptual level kpn research relevant issue janb fwi time related one timing mechanism previous paper senior research fellow system development process algebra software engineering delaying channel mathematical aspect unu iist applied logic
