Girkar M.

Автор:

Вид	Название	Год	Автор	Источник	Дата поступления
СТ	New Results on the Analysis of Concurrent Systems with an Indefinite Number of Processes	1994	Girkar M., Moll R.	Lecture Notes in Computer Science	26.08.1994
СТ	Pilgrim s OSF DCE-Based Services Architecture	1993	Narkiewicz J. D., Girkar M., Srivastava M., Gaylord A. S., Rahman M.	Lecture Notes in Computer Science	15.01.1994
СТ	Practical Compiler Techniques on Efficient Multithreaded Code Generation for OpenMP Programs	2005	Tian X., Girkar M., Bik A., Saito H.	The Computer Journal	28.10.2005
СТ	Vector Sequence Analysis and Full Weak Safety for Concurrent Systems	1993	Girkar M., Moll R.	Lecture Notes in Computer Science	16.09.1993