| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Krithi Ramamritham 131 Manish Bhide , Krithi Ramamritham, Prashant J. Shenoy : Efficiently Maintaining Stock Portfolios up-to-date on the Web. RIDE 2002 130 Anuj Maheshwari , Aashish Sharma , Krithi Ramamritham, Prashant J. Shenoy : Transcoding and Caching Proxies for Heterogenous E-Commerce Clients. RIDE 2002 129 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Suresha , Krithi Ramamritham: Proxy-Based Acceleration of Dynamically Generated Content on the World Wide Web: An Approach and Implementation. SIGMOD Conference 2002 128 Shetal Shah , Krithi Ramamritham, Prashant J. Shenoy : Maintaining Coherency of Dynamic Data in Cooperating Repositories. VLDB 2002 127 Kam-yiu Lam , Alan Kwan , Krithi Ramamritham: RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies. VLDB 2002 126 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Krithi Ramamritham, Suresha : A Proxy-Based Approach for Dynamic Content Acceleration on the WWW. WECWIS 2002 : 159-164 125 Manish Bhide , Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Adaptive Push-Pull: Disseminating Dynamic Web Data. IEEE Transactions on Computers 51 (6): 652-668 (2002) 124 Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : MIRROR: a state-conscious concurrency control protocol for replicated real-time databases. Information Systems 27 (4): 277-297 (2002) 123 Rajendran M. Sivasankaran , Krithi Ramamritham, John A. Stankovic : System Failure and Recovery. Real-Time Database Systems 2001 : 109-124 122 Jayant R. Haritsa , Krithi Ramamritham, Ramesh Gupta : Real-Time Commit Processing. Real-Time Database Systems 2001 : 227-243 121 Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Dissemination of Dynamic Data. SIGMOD Conference 2001 120 Anindya Datta , Kaushik Dutta , Krithi Ramamritham, Helen M. Thomas , Debra E. VanderMeer : Dynamic Content Acceleration: A Caching Solution to Enable Scalable Dynamic Web Page Generation. SIGMOD Conference 2001 119 Hoshi Mistry , Prasan Roy , S. Sudarshan , Krithi Ramamritham: Materialized View Selection and Maintenance Using Multi-Query Optimization. SIGMOD Conference 2001 118 Kaushik Dutta , Debra E. VanderMeer , Anindya Datta , Krithi Ramamritham: User Action Recovery in Internet SAGAs (iSAGAs). TES 2001 : 132-146 117 Anindya Datta , Kaushik Dutta , Helen M. Thomas , Debra E. VanderMeer , Krithi Ramamritham, Dan Fishman : A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration. VLDB 2001 : 667-670 116 Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Krithi Ramamritham, Prashant J. Shenoy : Adaptive push-pull: disseminating dynamic web data. WWW 2001 : 265-274 115 Anindya Datta , Kaushik Dutta , Debra E. VanderMeer , Krithi Ramamritham, Shamkant B. Navathe : An architecture to support scalable online personalization on the Web. VLDB Journal 10 (1): 104-117 (2001) 114 Debra E. VanderMeer , Kaushik Dutta , Anindya Datta , Krithi Ramamritham, Shamkant B. Navathe : Enabling scalable online personalization on the Web. ACM Conference on Electronic Commerce 2000 : 185-196 113 Krithi Ramamritham, Pavan Deolasee , Amol Katkar , Ankur Panchbudhe , Prashant J. Shenoy : Dissemination of Dynamic Data on the Internet. DNIS 2000 : 173-187 112 Mohammad S. Raunak , Prashant J. Shenoy , Pawan Goyal , Krithi Ramamritham: Implications of proxy caching for provisioning networks and servers. SIGMETRICS 2000 : 66-77 111 Kaushik Dutta , Anindya Datta , Debra E. VanderMeer , Krithi Ramamritham, Helen M. Thomas : Demonstration: Enabling Scalable Online Personalization on the Web. VLDB 2000 : 631-634 110 Krithi Ramamritham, Yeha El Atfi , Carlo Batini , Michael Eitan , Valerie Gregg , D. B. Phatak : Social, Educational, and Governmental Change Enabled through Information Technology. VLDB 2000 : 651-654 109 V. Vinay , Krithi Ramamritham: Scheduling Algorithms for the Broadcast Delivery of Multimedia Products. WECWIS 2000 : 200-207 108 Krithi Ramamritham: Review - Data Processing Spheres of Control. ACM SIGMOD Digital Review 2 : (2000) 107 Krithi Ramamritham: Review - DynaMat: A Dynamic View Management System for Data Warehouses. ACM SIGMOD Digital Review 2 : (2000) 106 Krithi Ramamritham: Review - Multi-Level Multi-Channel Air Cache Designs for Broadcasting in a Mobile Environment. ACM SIGMOD Digital Review 2 : (2000) 105 Krithi Ramamritham: Review - View Indexing in Relational Databases. ACM SIGMOD Digital Review 2 : (2000) 104 Jayant R. Haritsa , Krithi Ramamritham, Ramesh Gupta : The PROMPT Real-Time Commit Protocol. IEEE Transactions on Parallel and Distributed Systems 11 (2): 160-181 (2000) 103 Jayant R. Haritsa , Krithi Ramamritham: Real-Time Database Systems in the New Millenium. Real-Time Systems 19 (3): 205-208 (2000) 102 Devavrat Shah , Laks V. S. Lakshmanan , Krithi Ramamritham, S. Sudarshan : Interestingness and Pruning of Mined Patterns. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999 101 Kiran B. Goyal , Krithi Ramamritham, Anindya Datta , Helen M. Thomas : Indexing and Compression in Data Warehouses. DMDW 1999 : 11 100 Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases. IEEE Real Time Technology and Applications Symposium 1999 : 100-110 99 Chia Shen , Oscar González , Krithi Ramamritham, Ichiro Mizunuma : User Level Scheduling of Communicating Real-Time Tasks. IEEE Real Time Technology and Applications Symposium 1999 : 164-175 98 Ming Xiong , Krithi Ramamritham: Deriving Deadlines and Periods for Real-Time Update Transactions. IEEE Real-Time Systems Symposium 1999 : 32-43 97 Cris Pedregal Martin , Krithi Ramamritham: Recovery Guarantees in Mobile Systems. MobiDE 1999 : 22-28 96 Jayavel Shanmugasundaram , Arvind Nithrakashyap , Rajendran M. Sivasankaran , Krithi Ramamritham: Efficient Concurrency Control for Broadcast Environments. SIGMOD Conference 1999 : 85-96 95 Anindya Datta , Krithi Ramamritham, Helen M. Thomas : Curio: A Novel Solution for Efficient Storage and Indexing in Data Warehouses. VLDB 1999 : 730-733 94 Ming Xiong , Krithi Ramamritham, Jayant R. Haritsa , John A. Stankovic : Mirror: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases. WECWIS 1999 : 20-29 93 Neeraj Suri , Krithi Ramamritham: Editorial: Special Section on Dependable Real-Time Systems. IEEE Transactions on Parallel and Distributed Systems 10 (6): 529-532 (1999) 92 John A. Stankovic , Krithi Ramamritham, Douglas Niehaus , Marty Humphrey , Gary Wallace : The Spring System: Integrated Support for Complex Real-Time Systems. Real-Time Systems 16 (2-3): 223-251 (1999) 91 Babak Hamidzadeh , Yacine Atif , Krithi Ramamritham: To Schedule or to Execute: Decision Support and Performance Implications. Real-Time Systems 16 (2-3): 281-313 (1999) 90 Mohan Kamath , Krithi Ramamritham: Failure Handling and Coordinated Execution of Concurrent Workflows. ICDE 1998 : 334-341 89 Krithi Ramamritham, Chia Shen , Oscar Gonzáles , S. Sen , S. Shirgurkar : Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations. IEEE Real Time Technology and Applications Symposium 1998 : 102-111 88 R. Srinivasan , C. Liang , Krithi Ramamritham: Maintaining Temporal Coherency of Virtual Data Warehouses. RTSS 1998 : 60- 87 Narain H. Gehani , Krithi Ramamritham, Jayavel Shanmugasundaram , Oded Shmueli : Accessing Extra-Database Information: Concurrency Control and Correctness. Information Systems 23 (7): 439-462 (1998) 86 G. Manimaran , C. Siva Ram Murthy , Krithi Ramamritham: A New Approach for Scheduling of Parallelizable Tasks in Real-Time Multiprocessor Systems. Real-Time Systems 15 (1): 39-60 (1998) 85 Richard T. Snodgrass , Laura M. Haas , Alberto O. Mendelzon , Z. Meral Özsoyoglu , Jan Paredaens , Krithi Ramamritham, Nick Roussopoulos , Jennifer Widom , Philip S. Yu : Reminiscences on Influential Papers. SIGMOD Record 27 (4): 81-85 (1998) 84 Cris Pedregal Martin , Krithi Ramamritham: Toward Formalizing Recovery of (Advanced) Transactions. Advanced Transaction Models and Architectures 1997 : 0- 83 Jayavel Shanmugasundaram , Arvind Nithrakasyap , Jitendra Padhye , Rajendran M. Sivasankaran , Ming Xiong , Krithi Ramamritham: Transaction Processing in Broadcast Disk Environments. Advanced Transaction Models and Architectures 1997 : 0- 82 Cris Pedregal Martin , Krithi Ramamritham: Delegation: Efficiently Rewriting History. ICDE 1997 : 266-275 81 Ming Xiong , Krithi Ramamritham: Specification and Analysis of Transactions in Real-Time Active Databases. RTDB 1997 : 327- 80 Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham: Revisiting Commit Processing in Distributed Database Systems. SIGMOD Conference 1997 : 486-497 79 Krithi Ramamritham: Computer Science Research in India. IEEE Computer 30 (6): 40-47 (1997) 78 G. Manimaran , C. Siva Ram Murthy , Machiraju Vijay , Krithi Ramamritham: New Algorithms for Resource Reclaiming from Precedence Constrained Tasks in Multiprocessor Real-Time Systems. Journal of Parallel and Distributed Computing 44 (2): 123-132 (1997) 77 Krithi Ramamritham, Nandit Soparkar : Report on DART '96: Databases: Active and Real-Time (Concepts meet Practice). SIGMOD Record 26 (3): 51-53 (1997) 76 Shehan Xavier , Krithi Ramamritham: Implementation Considerations and Performance Evaluation of Object-Based Concurrency Control Protocols. Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996 : 356-386 75 Patrick E. O'Neil , Krithi Ramamritham, Calton Pu : A Two-Phase Approach to Predictably Scheduling Real-Time Transactions. Performance of Concurrency Control Mechanisms in Centralized Database Systems 1996 : 494-522 74 Ming Xiong , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley , Rajendran M. Sivasankaran : Maintaining Temporal Consistency: Issues and Algorithms. RTDB 1996 : 1-6 73 Mohan Kamath , Krithi Ramamritham: Efficient Transaction Support for Dynamic Information Retrieval Systems. SIGIR 1996 : 147-155 72 Krithi Ramamritham: Predictability: Demonstrating Real-Time Properties. ACM Computing Surveys 28 (4es): 186 (1996) 71 Krithi Ramamritham: Application-Oriented Database Support. ACM Computing Surveys 28 (4es): article 87 (1996) 70 Rohan F. M. Aranha , Venkatesh Ganti , Srinivasa Narayanan , C. R. Muthukrishnan , S. T. S. Prasad , Krithi Ramamritham: Implementation of a Real-Time Database System. IS 21 (1): 55-74 (1996) 69 Krithi Ramamritham, Rajendran M. Sivasankaran , John A. Stankovic , Donald F. Towsley , Ming Xiong : Integrating Temporal, Real-Time, and Active Databases. SIGMOD Record 25 (1): 8-12 (1996) 68 Rajendran M. Sivasankaran , John A. Stankovic , Donald F. Towsley , Bhaskar Purimetla , Krithi Ramamritham: Priority Assignment in Real-Time Active Databases. VLDB Journal 5 (1): 19-34 (1996) 67 Krithi Ramamritham, Panos K. Chrysanthis : A Taxonomy of Correctness Criteria in Database Applications. VLDB Journal 5 (1): 85-97 (1996) 66 Rajendran M. Sivasankaran , Krithi Ramamritham, John A. Stankovic , Donald F. Towsley : Data Placement, Logging and Recovery in Real-Time Active Databases. ARTDB 1995 : 226-241 65 Krithi Ramamritham: The Origin of TCs. ARTDB 1995 : 50-62 64 R. F. M. Aranha , Venkatesh Ganti , Srinivasa Prasanna , C. R. Muthukrishnan , S. T. S. Prasad , Krithi Ramamritham: Design, Implementation and Performance of a Real-Time Version of a Commercial RDBMS. COMAD 1995 : 0- 63 Mohan Kamath , Krithi Ramamritham, Donald F. Towsley : Continuous Media Sharing in Multimedia Database Systems. DASFAA 1995 : 79-86 62 Lory D. Molesky , Krithi Ramamritham: Recovery Protocols for Shared Memory Database Systems. SIGMOD Conference 1995 : 11-22 61 Fuxing Wang , Krithi Ramamritham, John A. Stankovic : Determining Redundancy Levels for Fault Tolerant Real-Time Systems. IEEE Transactions on Computers 44 (2): 292-301 (1995) 60 Krithi Ramamritham: Allocation and Scheduling of Precedence-Related Periodic Tasks. IEEE Transactions on Parallel and Distributed Systems 6 (4): 412-420 (1995) 59 Krithi Ramamritham, Calton Pu : A Formal Characterization of Epsilon Serializability. TKDE 7 (6): 997-1007 (1995) 58 Krithi Ramamritham: Guest Editor's Introduction. TSE 21 (7): 577-578 (1995) 57 Panos K. Chrysanthis , Krithi Ramamritham: Autonomy Requirements in Heterogeneous Distributed Database Systems. COMAD 1994 : 283-302 56 Bhaskar Purimetla , Rajendran M. Sivasankaran , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : Priority Assignment in Real-Time Active Databases. PDIS 1994 : 176-184 55 Alexandros Biliris , Shaul Dar , Narain H. Gehani , H. V. Jagadish , Krithi Ramamritham: ASSET: A System for Supporting Extended Transactions. SIGMOD Conference 1994 : 44-54 54 Panos K. Chrysanthis , Krithi Ramamritham: Synthesis of Extended Transaction Models Using ACTA. TODS 19 (3): 450-491 (1994) 53 John A. Stankovic , Krithi Ramamritham: Advances in Real-Time Systems. IEEE Computer Society 1993 52 Wayne Burleson , Jason Ko , Douglas Niehaus , Krithi Ramamritham, John A. Stankovic , Gary Wallace , Charles C. Weems : The Spring Scheduling Co-Processor: A Scheduling Accelerator. ICCD 1993 : 140-144 51 Mohan Kamath , Krithi Ramamritham: Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds. ICDE 1993 : 587-594 50 Douglas Niehaus , Krithi Ramamritham, John A. Stankovic , Gary Wallace , Charles C. Weems , Wayne Burleson , J. Ko : The Spring Scheduling Co-Processor: Design, Use, and Performance. IEEE Real-Time Systems Symposium 1993 : 106-111 49 Panos K. Chrysanthis , Krithi Ramamritham: Delegation in ACTA to Control Sharing in Extended Transactions. Data Engineering Bulletin 16 (2): 16-19 (1993) 48 Krithi Ramamritham: Real-Time Databases. Distributed and Parallel Databases 1 (2): 199-226 (1993) 47 Chia Shen , Krithi Ramamritham, John A. Stankovic : Resource Reclaiming in Multiprocessor Real-Time Systems. IEEE Transactions on Parallel and Distributed Systems 4 (4): 382-397 (1993) 46 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: The SAGA Continues. Database Transaction Models for Advanced Applications 1992 : 349-397 45 Victor Yodaiken , Krithi Ramamritham: Verification of a Reliable Net Protocol. FTRTFT 1992 : 193-215 44 Krithi Ramamritham, Panos K. Chrysanthis : In Search of Acceptability Citeria: Database Consistency Requirements and Transaction Correctness properties. IWDOM 1992 : 212-230 43 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: A Comprehensive TransAction Framework for Extended Transactions. RIDE-TQP 1992 : 221 42 Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley , Bhaskar Purimetla : Priority Inheritance in Soft Real-Time Databases. Real-Time Systems 4 (3): 243-268 (1992) 41 Krithi Ramamritham, J. Eliot B. Moss , John A. Stankovic , David W. Stemple , W. Bruce Croft , Donald F. Towsley : Summary of Database Research Activities at The University of Massachusetts, Amherst. SIGMOD Record 21 (1): 139-143 (1992) 40 B. R. Badrinath , Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. TODS 17 (1): 163-199 (1992) 39 Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : On Using Priority Inheritance In Real-Time Databases. IEEE Real-Time Systems Symposium 1991 : 210-221 38 Panos K. Chrysanthis , S. Raghuram , Krithi Ramamritham: Extracting Concurrency from Objects: A Methodology. SIGMOD Conference 1991 : 108-117 37 Panos K. Chrysanthis , Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991 : 103-112 36 Krithi Ramamritham, Sang Hyuk Son , Alejandro P. Buchmann , Klaus R. Dittrich , C. Mohan : Real-Time Databases (Panel). VLDB 1991 : 313 35 Jiandong Huang , John A. Stankovic , Krithi Ramamritham, Donald F. Towsley : Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes. VLDB 1991 : 35-46 34 John A. Stankovic , Krithi Ramamritham: The Spring Kernel: A New Paradigm for Real-Time Systems. IEEE Software 8 (3): 62-72 (1991) 33 Victor Yodaiken , Krithi Ramamritham: Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. IEEE Real-Time Systems Symposium 1990 : 300-311 32 Chia Shen , Krithi Ramamritham, John A. Stankovic : Resource Reclaiming in Real-Time. IEEE Real-Time Systems Symposium 1990 : 41-50 31 B. R. Badrinath , Krithi Ramamritham: Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. SIGMOD Conference 1990 : 163-172 30 Panos K. Chrysanthis , Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990 : 194-203 29 Wei Zhao , John A. Stankovic , Krithi Ramamritham: A Window Protocol for Transmission of Time-Constrained Messages. IEEE Transactions on Computers 39 (9): 1186-1203 (1990) 28 Krithi Ramamritham, John A. Stankovic , Perng-Fei Shiah : Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems. IEEE Transactions on Parallel and Distributed Systems 1 (2): 184-194 (1990) 27 Jiandong Huang , John A. Stankovic , Donald F. Towsley , Krithi Ramamritham: Experimental Evaluation of Real-Time Transaction Processing. IEEE Real-Time Systems Symposium 1989 : 144-155 26 Krithi Ramamritham, John A. Stankovic , Wei Zhao : Distributed Scheduling of Tasks with Deadlines and Resource Requirements. IEEE Transactions on Computers 38 (8): 1110-1123 (1989) 25 John A. Stankovic , Krithi Ramamritham: The Spring Kernel: A New Paradigm for Real-Time Operating Systems. Operating Systems Review 23 (3): 54-71 (1989) 24 Wei Zhao , John A. Stankovic , Krithi Ramamritham: A Multi-Access Window Protocol for Transmission of Time Constrained Messages. ICDCS 1988 : 384-392 23 B. R. Badrinath , Krithi Ramamritham: Synchronizing Transactions on Objects. IEEE Transactions on Computers 37 (5): 541-547 (1988) 22 Krithi Ramamritham, John A. Stankovic , Wei Zhao : Meta-Level Control in Distributed Real-Time Systems. ICDCS 1987 : 10-17 21 B. R. Badrinath , Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ICDE 1987 : 304-311 20 Krithi Ramamritham: Channel Characteristics in Local-Area Hard Real-Tlime Systems. Computer Networks 13 : 3-13 (1987) 19 Wei Zhao , Krithi Ramamritham, John A. Stankovic : Preemptive Scheduling Under Time and Resource Constraints. IEEE Transactions on Computers 36 (8): 949-960 (1987) 18 Krithi Ramamritham: Verification of resource controller processes. IS 12 (1): 57-67 (1987) 17 Wei Zhao , Krithi Ramamritham, John A. Stankovic : Scheduling Tasks with Resource Requirements in Hard Real-Time Systems. TSE 13 (5): 564-577 (1987) 16 Wei Zhao , Krithi Ramamritham: Virtual Time CSMA Protocols for Hard Real-Time Communication. TSE 13 (8): 938-952 (1987) 15 Stephen Vinter , Krithi Ramamritham, David W. Stemple : Recoverable Actions in Gutenberg. ICDCS 1986 : 242-249 14 David W. Stemple , Stephen Vinter , Krithi Ramamritham: Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers. TSE 12 (11): 1056-1066 (1986) 13 Krithi Ramamritham, David W. Stemple , David A. Briggs , Stephen Vinter : Privilege Transfer and Revocation in a Port-Based System. TSE 12 (5): 635-648 (1986) 12 Krithi Ramamritham, David W. Stemple , Stephen Vinter : Decentralized Access Control in a Distributed System. ICDCS 1985 : 524-531 11 John A. Stankovic , Krithi Ramamritham, Shengchang Cheng : Evaluation of a Flexible Task Scheduling Algorithm for Distributed Hard Real-Time Systems. IEEE Transactions on Computers 34 (12): 1130-1143 (1985) 10 Krithi Ramamritham: Enabling local actions by global consensus. IS 10 (3): 319-324 (1985) 9 Krithi Ramamritham: Synthesizing Code for Resource Controllers. TSE 11 (8): 774-783 (1985) 8 Krithi Ramamritham, John A. Stankovic : Dynamic Task Scheduling in Distributed Real-Time Systems. ICDCS 1984 : 96-107 7 Krithi Ramamritham: Resource Controller Tasks in Ada: Their Structure and Semantics. ICSE 1984 : 67-77 6 David W. Stemple , Krithi Ramamritham, Stephen Vinter , Tim Sheard : Operating System Support for Abstract Data(base) Types. ICOD 1983 : 179-195 5 Krithi Ramamritham, David W. Stemple , Stephen Vinter : Primitives for Accessing Protected Objects. Symposium on Reliability in Distributed Software and Database Systems 1983 : 114-122 4 Krithi Ramamritham: Correctness of a distributed transaction system. IS 8 (4): 309-325 (1983) 3 Krithi Ramamritham, Robert M. Keller : Specification of Synchronizing Processes. TSE 9 (6): 722-733 (1983) 2 Krithi Ramamritham, Robert M. Keller : On synchronization and its specification. CONPAR 1981 : 271-282 1 Krithi Ramamritham, Robert M. Keller : Specifying and Proving Properties of Sentinel Processes. ICSE 1981 : 374-386  DiSC'02 © 2003 Association for Computing Machinery |
