Constructive polychronous systems

The synchronous paradigm provides a logical abstraction of time for reactive system design which allows automatic synthesis of embedded systems that behave in a predictable, timely, and reactive manner. According to the synchrony hypothesis, a synchronous model reacts to inputs by generating outputs...

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 96; pp. 377 - 394
Main Authors:	Talpin, Jean-Pierre, Brandt, Jens, Gemünde, Mike, Schneider, Klaus, Shukla, Sandeep
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 15.12.2014 Elsevier
Series:	Science of Computer Programming
Subjects:	Computer Science Constructive systems Fixpoint theory Operational semantics Program verification Programming Languages Synchronous programming Constructive systems Operational semantics Synchronous programming Program verification Fixpoint theory
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!