Karol Ostrovsky

Visar 2 publikationer

2005

On Modelling and Analysing Concurrent Systems

Karol Ostrovsky
Doktorsavhandling
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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Karol Ostrovsky medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.