Journal: J. Comput. Syst. Sci.

Volume 81, Issue 5

797 -- 798Dirk Pattinson, Lutz Schröder. From the Editors
799 -- 812Samson Abramsky, Jonathan A. Zvesper. From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference
813 -- 833Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat. On finitary functors and their presentations
834 -- 858Giorgio Bacci, Marino Miculan. Structural operational semantics for continuous state stochastic transition systems
859 -- 879Bart Jacobs, Alexandra Silva 0001, Ana Sokolova. Trace semantics via determinization
880 -- 900Johannes Marti, Yde Venema. Lax extensions of coalgebra functors and their logic
901 -- 910Pawel Sobocinski. Relational presheaves, change of base and weak simulation
911 -- 939Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten. Context-free coalgebras