The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Foundational issues in concurrent computing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
LO and behold! Concurrent structured processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Communications of the ACM
A framework for programming and formalizing concurrent objects
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Logical objects with constraints
ACM SIGPLAN Notices
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Concurrency among strangers: programming in E as plan coordination
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
I+: A multiparadigm language for object-oriented declarative programming
Computer Languages
Hi-index | 0.02 |