An Overview of the Signal Clock Calculus

Abstract:
The Signal compilation process is based on a formal analysis called clcok calculus. It constructively determines if a specification is endochronous by synthesizing a sequential control structure. The analysis applies to relations over clocks inferred from specifications and encoded into boolean equations. This paper first gives an overview of requisite fundamental notions related to clocks (control in data-flow specifications, link with operational semantics, boolean encoding) then uses this lighting to present technical aspects of the calculus [1,2].

Bibtex entry:

@InProceedings{nebutpinchinat-slap02,
  author = 	 {M. Nebut},
  title = 	 {An Overview of the Signal Clock Calculus},
  booktitle = 	 {Synchronous Languages, Applications, and Programming},
  key =		 {SLAP'03},
  year =	 2003,
  volume =	 88,
  number =	 ?,
  address =	 {Porto, Portugal},
  month =	 {july},
  publisher =	 {Electronic Notes in Theoretical Computer Science}
}

file (PDF)

Mirabelle Nebut

Last modified: Fri Jun 10 15:13:23 CEST 2005