university website Publications by Year
  • sign in
  • Visualization and 3D User Interfaces /
  • Scientific Annals of Computer Science /
  • Article
  • Search

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

2009

Coalgebraic Weak Bisimulation for Action-Type Systems

Publication

Publication

Scientific Annals of Computer Science , Volume 19 p. 93- 144

Additional Metadata
THEME Software (theme 1)
Journal Scientific Annals of Computer Science
Organisation Visualization and 3D User Interfaces
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
Sokolova, A., de Vink, E., & Woracek, H. (2009). Coalgebraic Weak Bisimulation for Action-Type Systems. Scientific Annals of Computer Science, 19, 93–144.
Free Full Text ( Final Version , 413kb ) cover

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close