All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

3 (0,135s)

Project

Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)

- state processes. In particular we want to study strong, and weak bisimulation of decision procedures that might exist. For strong bisimulation equivalence we want for the aforementionedprocess algebras. In the case of weak bi...

BC - Teorie a systémy řízení

  • 1999 - 2002
  • 231 tis. Kč
  • 231 tis. Kč
  • GA ČR
Project

Supervisory control of large distributed discrete event systems (KJB100190609)

This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algebra enable linear r...

BC - Teorie a systémy řízení

  • 2006 - 2008
  • 255 tis. Kč
  • 255 tis. Kč
  • AV ČR
Project

Categorical Methods of the Theory of Structures and Computer Science (GA201/02/0148)

and their use in theoretical computer science, bisimulations, quantales and their modules...

BA - Obecná matematika

  • 2002 - 2004
  • 1 856 tis. Kč
  • 1 856 tis. Kč
  • GA ČR
  • 1 - 3 out of 3