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...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 96; s. 377 - 394
Hlavní autoři:	Talpin, Jean-Pierre, Brandt, Jens, Gemünde, Mike, Schneider, Klaus, Shukla, Sandeep
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 15.12.2014 Elsevier
Edice:	Science of Computer Programming
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!