The Microcosm Principle and Concurrency in Coalgebras - PowerPoint PPT Presentation

1 / 33
About This Presentation
Title:

The Microcosm Principle and Concurrency in Coalgebras

Description:

The Microcosm Principle and Concurrency in Coalgebras Ichiro Hasuo Radboud University Nijmegen, the Netherlands Kyoto University, Japan Joint work with – PowerPoint PPT presentation

Number of Views:65
Avg rating:3.0/5.0
Slides: 34
Provided by: hasuo
Category:

less

Transcript and Presenter's Notes

Title: The Microcosm Principle and Concurrency in Coalgebras


1
The Microcosm Principle andConcurrency in
Coalgebras
  • Ichiro Hasuo
  • Radboud University Nijmegen, the Netherlands
  • Kyoto University, Japan

Joint work with Bart Jacobs Radboud
U. Nijmegen, NL Ana Sokolova
U. Salzburg, Austria
2
1-slide review of coalgebra/coinduction
abstraction, genericity, (joy)
  • Theory of coalgebras
  • ç”°ategorical theory of state-based systems
Write a Comment
User Comments (0)
About PowerShow.com