Results 1-11 of 11

TitleYear of publicationAuthor(s)
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency uniba/217132016Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa; Aguado, Joaquin
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/207932014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/211292014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
SCCharts : Sequentially constructive statecharts for safety-critical applications ; HW/SW-Synthesis for a Conservative Extension of Synchronous Statecharts uniba/211632014von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael ; Aguado, Joaquin ; Mercer, Stephen; O'Brien, Owen
Sequentially constructive concurrency : A conservative extension of the synchronous model of computation uniba/211892013von Hanxleden, Reinhard; Mendler, Michael ; Aguado, Joaquin ; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Mercer, Stephen; O'Brien, Owen
Constructive semantics for instantaneous reactions uniba/54502011Aguado, Joaquin ; Mendler, Michael
Unifying Synchronous Data and Control Flow in the Lazy Lambda Calculus uniba/54412011Aguado, Joaquin ; Mendler, Michael
Computing with streams uniba/54922011Aguado, Joaquin ; Mendler, Michael
Towards Strategies for Dataflow Programming uniba/43122010Mendler, Michael ; Aguado, Joaquin
Proceedings of the International Workshop on Model- driven High-level Programming of Embedded Systems (SLA++P 2007), Braga, Portugal, 31 March 2007 uniba/181262008Mendler, Michael ; Aguado, Joaquin
Constructive semantics for instantaneous reactions uniba/123132005Aguado, Joaquin ; Mendler, Michael