A companion to coalgebraic weak bisimulation for action-type systems

Titel in Übersetzung: A companion to coalgebraic weak bisimulation for action-type systems

Ana Sokolova, Erik de Vink, Harald Woracek

Publikation: Andere BeiträgeSonstiger BeitragForschungPeer-reviewed

Titel in ÜbersetzungA companion to coalgebraic weak bisimulation for action-type systems
OriginalspracheEnglisch
Seitenumfang64
BandTechnical report CSR-07-12, TU Eindhoven
PublikationsstatusVeröffentlicht - 2007

Systematik der Wissenschaftszweige 2012

  • 101 Mathematik
  • 102 Informatik

Dieses zitieren