A Calculus of Broadcasting Systems KVS Prasad Science of Computer Programming 25 (2-3), 285-327, 1995 | 292* | 1995 |
Programming with broadcasts KVS Prasad CONCUR'93, 173-187, 1993 | 41 | 1993 |
A calculus of value broadcasts KVS Prasad PARLE'93 Parallel Architectures and Languages Europe, 391-402, 1993 | 38 | 1993 |
Towards a primitive higher order calculus of broadcasting systems K Ostrovsky, KVS Prasad, W Taha 4th ACM SIGPLAN international conference on Principles and practice of …, 2002 | 37 | 2002 |
Broadcasting in time KVS Prasad Coordination Languages and Models, 321-338, 1996 | 32 | 1996 |
Broadcasting with priority KVS Prasad Programming Languages and Systems—ESOP'94, 469-484, 1994 | 28 | 1994 |
A Prospectus for Mobile Broadcasting Systems KVS Prasad Electronic Notes in Theoretical Computer Science 162, 295–300, 2006 | 26 | 2006 |
Combinators and bisimulation proofs for restartable systems KVS Prasad University of Edinburgh, 1991 | 24* | 1991 |
Broadcast Calculus Interpreted in CCS upto Bisimulation KVS Prasad Electronic Notes in Theoretical Computer Science 52, 83–100, 2002 | 23 | 2002 |
Formal Representation of the High Osmolarity Glycerol Pathway in Yeast C Kuehn, KVS Prasad, E Klipp, P Gennemark Genome Informatics, 2009 | 18 | 2009 |
Specification and proof of a simple fault tolerant system in CCS KVS Prasad University of Edinburgh, 1984 | 16 | 1984 |
Rule-based modelling of iron homeostasis in tuberculosis S Ghosh, KVS Prasad, S Vishveshwara, N Chandra Molecular BioSystems 7 (10), 2750-2768, 2011 | 15 | 2011 |
Computational evidence that Hindi and Urdu share a grammar but not the lexicon KVS Prasad, SM Virk Workshop on South and Southeast Asian Natural Language Processing, 2012 | 12 | 2012 |
Developing an interlingual translation lexicon using WordNets and Grammatical Framework SM Virk, KVS Prasad, A Ranta, K Angelov Proceedings of the Fifth Workshop on South and Southeast Asian Natural …, 2014 | 8 | 2014 |
On the non-derivability of operators in CCS KVS Prasad Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group, 1989 | 5 | 1989 |
Towards Hindi/Urdu FrameNets via the Multilingual FrameNet SM Virk, KVS Prasad LREC 2018 Workshop International FrameNet Workshop 2018: Multilingual …, 2018 | 4 | 2018 |
Crowd-sourced Technical Texts can help Revitalise Indian Languages KVS Prasad, SM Virk, M Nishioka, CAG Kaushik LREC 2018 Workshop WILDRE4– 4th Workshop on Indian Language Data: Resources …, 2018 | 4 | 2018 |
A Machine Verified Distributed Sorting Algorithm JH Andersen, E Harcourt, KVS Prasad BRICS Reports, 1996 | 4 | 1996 |
Themes in Broadcast Calculi KVS Prasad ISPDC 2014, IEEE 13th International Symposium on Parallel and Distributed …, 2014 | 2 | 2014 |
A framework for representing parameterised processes E Harcourt, P Paczkowski, KVS Prasad Chalmers University, 1995 | 2 | 1995 |