Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
A sound and complete Hoare axiomatization of the Ada-rendezvous
Ninth colloquium on Automata, languages, and programming.
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
Concurrent Programming Concepts
ACM Computing Surveys (CSUR)
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
Performing remote operations efficiently on a local computer network
Communications of the ACM
Communications of the ACM
Experience with processes and monitors in Mesa
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
An alternative to event queues for synchronization in monitors
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
Communications of the ACM
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
The Logical Design of Operating Systems
The Logical Design of Operating Systems
Operating system principles
A Discipline of Programming
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Unbounded speed variability in distributed communication systems
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic Analysis of Communicating Sequential Processes (Shortened Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Procedures and concurrency: A study in proof
Proceedings of the 5th Colloquium on International Symposium on Programming
Distributed Systems - Architecture and Implementation, An Advanced Course
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
The non-problem of nested monitor calls
ACM SIGOPS Operating Systems Review
The problem of nested monitor calls revisited
ACM SIGOPS Operating Systems Review
Scheduling in Concurrent Pascal
ACM SIGOPS Operating Systems Review
ICSE '79 Proceedings of the 4th international conference on Software engineering
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Distributed communication via global buffer
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Understanding and using asynchronous message passing (Preliminary Version)
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proving safety and liveness of communicating processes with examples
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Language features for process interaction
Proceedings of an ACM conference on Language design for reliable software
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The problem of nested monitor calls
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
An Approach to Designing Fault-Tolerant Computing Systems
An Approach to Designing Fault-Tolerant Computing Systems
Control and communication in programmed systems
Control and communication in programmed systems
Remote procedure call
Memory access buffering in multiprocessors
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Reference models, window systems, and concurrency
ACM SIGGRAPH Computer Graphics
Correct memory operation of cache-based multiprocessors
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Adding time to synchronous process communications
IEEE Transactions on Computers - Special Issue on Real-Time Systems
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Throughput Analysis of Cache-Based Multiprocessors with Multiple Buses
IEEE Transactions on Computers
OSI service specification with CCITT-SDL
ACM SIGCOMM Computer Communication Review
A Generalized Message-Passing Mechanism for Communicating Sequential Processes
IEEE Transactions on Computers
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronous operations as first-class values
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Asynchronous communication on Occam
ACM SIGPLAN Notices
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed Computing with Single Read-Single Write Variables
IEEE Transactions on Software Engineering
Translation and Execution of Distributed Ada Programs: Is It Still Ada?
IEEE Transactions on Software Engineering
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Abstraction Mechanisms for Event Control in Program Debugging
IEEE Transactions on Software Engineering
CC-modula: a modula-2 tool to teach concurrent programming
ACM SIGCSE Bulletin
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Dynamic Page Migration in Multiprocessors with Distributed Global Memory
IEEE Transactions on Computers
On the execution of parallel programs on multiprocessor systems—a queuing theory approach
Journal of the ACM (JACM)
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Memory Access Dependencies in Shared-Memory Multiprocessors
IEEE Transactions on Software Engineering
A methodology for implementing highly concurrent data structures
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Comments on 'Critical Races in Ada Programs'
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Delirium: an embedding coordination language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The ensemble system: concurrent programming on a personal computer
ACM SIGPLAN Notices
Models for performance perturbation analysis
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
(SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations
IEEE Transactions on Computers
DRAGOON: a tool for the Ada programmer
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
Distributed computing in a NUMP (Non-Uniform Message-Passing) environment
ACM SIGOPS Operating Systems Review
Ada communication components for distributed and real time applications
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Concurrent Object Oriented 'C' (cooC)
ACM SIGPLAN Notices
A methodology for implementing highly concurrent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bounds on the efficiency of message-passing protocols for parallel computers
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Toolkit for shared hypermedia on a distributed object oriented architecture
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A distributed shared virtual memory for Ada 83 and Ada 9X applications
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Compiling performance models from parallel programs
ICS '94 Proceedings of the 8th international conference on Supercomputing
Concurrency annotations in C++
ACM SIGPLAN Notices
ABC++: concurrency by inheritance in C++
IBM Systems Journal
ACM Computing Surveys (CSUR)
ACM Transactions on Computer Systems (TOCS)
Process synchronization and IPC
ACM Computing Surveys (CSUR)
Automatic parallelization of object-oriented programming languages using tuple space
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
The importance of synchronization structure in parallel program optimization
ICS '97 Proceedings of the 11th international conference on Supercomputing
A multi-threaded object-oriented programming model
ACM SIGSOFT Software Engineering Notes
Memory access buffering in multiprocessors
25 years of the international symposia on Computer architecture (selected papers)
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
A technique for reducing synchronization overhead in large scale multiprocessors
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
An approach towards distributed simulation of timed petri nets
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A Distributed Object-Oriented Language for Heterogeneous Computer Networks
The Journal of Supercomputing
Object-oriented real-time concurrency
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Introductory concurrent programming with Modula-2
ACM SIGCSE Bulletin
VHDL generation from SDL specifications
Readings in hardware/software co-design
Synthesis and simulation of digital systems containing interacting hardware and software components
Readings in hardware/software co-design
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
A History of Data-Flow Languages
IEEE Annals of the History of Computing
Language Support for Multidisciplinary Applications
IEEE Computational Science & Engineering
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
Protected Shared Variables in VHDL: IEEE Standard 1076a
IEEE Design & Test
Programming Three Parallel Computers
IEEE Software
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
A General Data Layout for Distributed Consistency in Data Parallel Applications
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Dynamic Constraints and Object Migration
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Concurrency Features for the Trellis/Owl Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Run-Time Fault Detection in Monitor Based Concurrent Programming
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
The invention of concurrent programming
The origin of concurrent programming
IEEE Transactions on Parallel and Distributed Systems
A design representation for high level synthesis
EURO-DAC '90 Proceedings of the conference on European design automation
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Low-level language constructs considered harmful for distributed parallel programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Scheduling-independent threads and exceptions in SHIM
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Opus: A Coordination Language for Multidisciplinary Applications
Scientific Programming
First silicon functional validation and debug of multicore microprocessors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Concurrent programming in a nutshell
Journal of Computing Sciences in Colleges
The pipelining transformation on plans for manufacturing cells with robots
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
A formal specification-based approach to distributed parallel programming
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A network operating system for microcomputers
Computer Communications
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
| Hi-index | 0.03 |