Karol Ostrovsky

Showing 2 publications

2005

On Modelling and Analysing Concurrent Systems

Karol Ostrovsky
Doctoral thesis
2002

Towards a Primitive Higher Order Calculus of Broadcasting Systems

Karol Ostrovsky, K V S Prasad, W. Taha
Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Pittsburg, 6-8 October 2002, p. 2-13
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Karol Ostrovsky participates, but you have to be logged in as a Chalmers employee to see them.