INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic parallelization of communicating sequential processes
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
The Hermes language in outline form
ACM SIGPLAN Notices
A visual environment for distributed object-oriented multi-applications
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Process clustering for distributed debugging
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A distributed system architecture for a distributed application environment
IBM Systems Journal
A checkable interface language for pointer-based structures
IDL '94 Proceedings of the workshop on Interface definition languages
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
Point/counterpoint: do programmers need seatbelts?
ACM SIGPLAN Notices
Point: do programmers need seatbelts?
ACM SIGPLAN Notices
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Borrow, copy or steal?: loans and larceny in the orthodox canonical form
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Guava: a dialect of Java without data races
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
High-Level Views of Distributed Executions: Convex Abstract Events
Automated Software Engineering
Extending Typestate Checking Using Conditional Liveness Analysis
IEEE Transactions on Software Engineering
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
IEEE Transactions on Software Engineering
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
IEEE Transactions on Software Engineering
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Achieving target-system independence in event visualisation
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Supporting communications infrastructure evolution
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Integrating real-time and partial-order information in event-data displays
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An Experience Report on Architecture Development
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Tool for Debugging OSF DCE Applications
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
High-level language support for programming distributed systems
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Control and responsiveness in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Supporting database access in the Hermes programming language
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Transaction management in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A prototype debugger for Hermes
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Optimistic replication in HOPE
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A prototype debugger for Hermes
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Directory requirements for a multidatabase service
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A formalization of the CORDS Process Model using Mondel
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Using Hy+ for network management and distributed debugging
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
The use of process clustering in distributed-system event displays
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Operation jump start: a CORDS integration prototype using DCE
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Implementing a delegation model design of an HPCC application using concert/C
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Thin locks: featherweight Synchronization for Java
ACM SIGPLAN Notices - Best of PLDI 1979-1999
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Concert/C: a language for distributed programming
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Computer Communications
Hi-index | 0.00 |