Results 1-20 of 52 (Show all)

TitleYear of publicationAuthor(s)
Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente uniba/442882018Reinhardt, Tilmann; Mendler, Michael ; Stroup, Terry
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification uniba/442872018Mendler, Michael
An asynchronous process algebra with multiple clocks uniba/443202018Andersen, Henrik Reif; Mendler, Michael
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification uniba/443322018Mendler, Michael
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency uniba/217132016Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa; Aguado, Joaquin
On the Computational Interpretation of CKn for Contextual Information Processing : Ancillary Material uniba/61572014Scheele, Stephan M.  ; Mendler, Michael
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/207932014Aguado, 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
On the Computational Interpretation of CKn for Contextual Information Processing uniba/211542014Mendler, Michael ; Scheele, Stephan M.  
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/211292014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
Sequentially constructive concurrency : A conservative extension of the synchronous model of computation uniba/211892013Hanxleden, Reinhard von; Mendler, Michael ; Aguado, Joaquin ; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Mercer, Stephen; O'Brien, Owen
Constructive Boolean circuits and the exactness of timed ternary simulation uniba/11132012Mendler, Michael ; Shiple, Thomas R.; Berry, Gérard
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
Cut-free Gentzen Calculus for Multimodal CK uniba/54512011Mendler, Michael ; Scheele, Stephan M.  
An Algebra of Synchronous Scheduling Interfaces uniba/42662011Mendler, Michael
Computing with streams uniba/54922011Aguado, Joaquin ; Mendler, Michael
Is observational congruence on µ-expressions axiomatisable in equational horn logic? uniba/38062010Mendler, Michael ; Lüttgen, Gerald  
What is in a Step: New Perspectives on a Classical Question uniba/38472010Roever, Willem-Paul de; Lüttgen, Gerald  ; Mendler, Michael
Towards Strategies for Dataflow Programming uniba/43122010Mendler, Michael ; Aguado, Joaquin