Skip to content

A Process Algebra for Real-Time Programs.

Henning Dierks

VenueBFASE
Year2000
ProceedingsFASE

Browse the full FASE paper archive.