Weak bisimulation for action-type coalgebras

Ana Sokolova, Erik de Vink, Harald Woracek

Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

Titel in ÜbersetzungWeak bisimulation for action-type coalgebras
OriginalspracheDeutsch
Seitenumfang43
BandTechnical report CSR-04-16, TU Eindhoven
PublikationsstatusVeröffentlicht - 2004

Systematik der Wissenschaftszweige 2012

  • 101 Mathematik
  • 102 Informatik

Dieses zitieren