Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 42 von 42
  1. Dennis Walter; Lutz Schröder; Till Mossakowski

    Parametrized Exceptions

    In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  2. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …