Third Generation Computer Systems
ACM Computing Surveys (CSUR)
Synchronization of communicating processes
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A scheduling philosophy for multiprocessing systems
Communications of the ACM
Comments on ”levels of computer systems“
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
Correctness in operating systems
Correctness in operating systems
Structure of multiple activity algorithms
SOSP '69 Proceedings of the second symposium on Operating systems principles
Computation: finite and infinite machines
Computation: finite and infinite machines
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Data structure models for programming languages
ACM SIGPLAN Notices
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
Applying specialization to process models
COCS '95 Proceedings of conference on Organizational computing systems
Introduction to a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
A mechanism for specifying the structure of large, layered, object-oriented programs
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
An Overview of Programming Practices
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
A large semaphore based operating system
Communications of the ACM
Complexity of expressions allowing concurrency
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
The TYPESET-10 Message Exchange Facility: a case study in systemic design
ACM SIGOPS Operating Systems Review
High level language oriented hardware and the post-von Neumann era
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Hardware support for concurrent programming in loosely coupled multiprocessors
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Behavior modelling during software design
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A course in computer structures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Function distribution in computer system architectures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Hardware support for inter-process communication and processor sharing
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
A methodology for decomposing system requirements into data processing requirements
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Interprocess communication in real-time systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Defining specialization for dataflow diagrams
Information Systems
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Modeling unstructured decision making
ACM SIGMIS Database - Proceedings of a conference on Decision Support Systems, Santa Clara, California, January 24-26, 1977
Control functions for a multiprocessor architecture
ACM SIGOPS Operating Systems Review
High-Speed Multiprocessors and Compilation Techniques
IEEE Transactions on Computers
Operating system design considerations for the packet-switching environment
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
The development and writing of "process structuring"
Dependable and Historic Computing
Carrying goals to newcastle: a tribute to brian randell
Dependable and Historic Computing
On the implementation of concurrent objects
Dependable and Historic Computing
Modeling and projection in software development
Journal of Systems and Software
Inference from models of software systems
Journal of Systems and Software
| Hi-index | 0.02 |