Search the dblp DataBase
Lalita Jategaonkar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Lalita Jategaonkar, John C. Mitchell
ML with Extended Pattern Matching and Subtypes. [Citation Graph (4, 0)][DBLP]
LISP and Functional Programming, 1988, pp:198-211 [Conf] - Lalita Jategaonkar, Albert R. Meyer
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. [Citation Graph (0, 0)][DBLP]
CONCUR, 1992, pp:17-31 [Conf] - Lalita Jategaonkar, Albert R. Meyer
Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). [Citation Graph (0, 0)][DBLP]
ICALP, 1993, pp:519-531 [Conf] - Lalita Jategaonkar, Albert R. Meyer
Self-Synchronization of Concurrent Processes (Preliminary Report) [Citation Graph (0, 0)][DBLP]
LICS, 1993, pp:409-417 [Conf] - Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal] - Lalita Jategaonkar, John C. Mitchell
Type Inference with Extended Pattern Matching and Subtypes. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1993, v:19, n:1/2, pp:127-165 [Journal] - Lalita Jategaonkar, Albert R. Meyer
Deciding True Concurrency Equivalences on Safe, Finite Nets. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1996, v:154, n:1, pp:107-143 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002