Natural Transformations as Rewrite Rules and Monad Composition von Dexter Kozen

Volltext

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981 von Kozen, Dexter

Volltext

On Free $\omega$-Continuous and Regular Ordered Algebras von Zoltan Esik, Dexter Kozen

Volltext

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 von Clarke, Edmund, Kozen, Dexter

Volltext

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings von Kozen, Dexter, Shankland, Carron

Volltext

Left-handed completeness von Kozen, Dexter, Silva, Alexandra

Volltext

Practical coinduction von KOZEN, DEXTER, SILVA, ALEXANDRA

Volltext

Multisets and Distributions von Kozen, Dexter, Silva, Alexandra

Volltext

Semantics of higher-order probabilistic programs with conditioning von Dahlqvist, Fredrik, Kozen, Dexter

Volltext

Design and synthesis of synchronization skeletons using branching time temporal logic von Clarke, Edmund M., Emerson, E. Allen

Volltext

On Moessner’s Theorem von Kozen, Dexter, Silva, Alexandra

Volltext

Coinductive Proof Principles for Stochastic Processes von Kozen, Dexter

Volltext

Coalgebraic tools for randomness-conserving protocols von Kozen, Dexter, Soloviev, Matvey

Volltext

Infinitary Axiomatization of the Equational Theory of Context-Free Languages von Grathwohl, Niels Bjørn Bugge, Henglein, Fritz, Kozen, Dexter

Volltext

Applications of Metric Coinduction von Kozen, Dexter, Ruozzi, Nicholas

Volltext

A Demonic Outcome Logic for Randomized Nondeterminism von Zilberstein, Noam, Kozen, Dexter, Silva, Alexandra, Tassarotti, Joseph

Volltext

Formalizing Moessner's theorem and generalizations in Nuprl von Bickford, Mark, Kozen, Dexter, Silva, Alexandra

Volltext

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time von Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, Silva, Alexandra

Volltext

On kleene algebras and closed semirings von Kozen, Dexter

Volltext

Formal Abstractions for Packet Scheduling von Mohan, Anshuman, Liu, Yunhe, Foster, Nate, Kappé, Tobias, Kozen, Dexter

Volltext