Publikationen
Donnerstag, 18. September 2008 um 09:16

Aktuelle Arbeiten

  • C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
  • C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
    [PDF] [Abstract, TXT]

 

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Trace Theory of Coalgebras
Sonntag, 31. Januar 2010 um 11:48
There are no translations available.

Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Academic Societies
Sonntag, 27. September 2009 um 09:40
There are no translations available.

I am a member of the following societies.

Add a comment
LAST_UPDATED2
 
Einige Kontakte
Donnerstag, 17. Juni 2010 um 08:53

Meine Arbeitsgruppe

Koautoren

Weitere Kollegen

Add a comment
LAST_UPDATED2
 
<< Start < Zurück 1 2 Weiter > Ende >>

JPAGE_CURRENT_OF_TOTAL