Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
Operating system principles
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating Sequential Processes for Centralized and Distributed Operating System Design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symmetric intertask communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
StarLite, a visual simulation package for software prototyping
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
On synchronization in hard-real-time systems
Communications of the ACM
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
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
On Lamport's interprocessor communication model
ACM Transactions on Programming Languages and Systems (TOPLAS)
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Task interaction graphs for concurrency analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A parallel `make' utility based on Linda's tuple-space
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Comments on 'Critical Races in Ada Programs'
IEEE Transactions on Software Engineering
Data flow analysis of concurrent systems that use the rendezvous model of synchronization
TAV4 Proceedings of the symposium on Testing, analysis, and verification
ACM SIGPLAN Notices
(SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations
IEEE Transactions on Computers
A solution to the explicit/implicit control dilemma
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A General Framework for Concurrent Simulation on Neural Network Models
IEEE Transactions on Software Engineering
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
An integrated optimal task assignment policy
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM SIGPLAN Notices
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations
IEEE Transactions on Software Engineering
MULTISAFE—a modular multiprocessing approach to secure database management
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
Resource scheduling: specification and proof techniques
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
Analyzing synchronization problems by using event histories as languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Ada language considerations for concurrency analysis
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
First-class user-level threads
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Process Communication Based on Input Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Surveyors' forum: Notations for concurrent programming
ACM Computing Surveys (CSUR)
Corrigenda: “Concepts and notations for concurrent programs”
ACM Computing Surveys (CSUR)
Parallel programs: proofs, principles, and practice
Communications of the ACM
A note on PCI: distributed processes communicating by interrupts
ACM SIGPLAN Notices
Static checking of interprocess communication in ECSP
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
The worm program model: an application centred point of view for distributed architecture design
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT 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
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular verification of concurrent programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Concurrent, Distributed Architecture for Diagnostic Reasoning
User Modeling and User-Adapted Interaction
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
IEEE Transactions on Parallel and Distributed Systems
IEEE Annals of the History of Computing
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
The invention of concurrent programming
The origin of concurrent programming
The origin of concurrent programming
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
EMMA-an industrial experience on large multiprocessing architectures
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Impact of hardware interconnection structures on the performance of decentralized software
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
An IPC protocol and its hardware realization for a high-speed distributed multicomputer system
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
A single user multiprocessor incorporating processor manipulation facilities
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Hardware implementation of communication protocols: A formal approach
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Semantics of a communication mechanism in a distributed system
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
An operating system implementation and simulation language (OASIS)
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Performance evaluation of communicating processes
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
On the performance of decentralized software
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
BRUWIN: An adaptable design strategy for window manager/virtual terminal systems
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Language constructs and support systems for distributed computing
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Distributed communication via global buffer
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
SODA: A simplified operating system for distributed applications
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Resource management in dataflow
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
An analysis of language models for high-performance communication in local-area networks
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Distributed programming languages
ACM '82 Proceedings of the ACM '82 conference
Performance of distributed software implemented by a contention bus
ACM '81 Proceedings of the ACM '81 conference
Practical applications of path pascal in systems programming
ACM '79 Proceedings of the 1979 annual conference
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
SODA: a simplified operating system for distributed applications
ACM SIGOPS Operating Systems Review
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Procedure semantics and language definition
ACM SIGPLAN Notices
Comments on ADA process communication
ACM SIGPLAN Notices
A note on the distributed program component cell
ACM SIGPLAN Notices
Ada packages and distributed systems
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Messages vs. remote procedures is a false dichotomy
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Language support for lightweight transactions
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Modular decomposition of Ada into a hierarchy of sublanguages
ACM SIGAda Ada Letters
An interprocess communication model for a distributed software testbed
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
ACM SIGSMALL Newsletter
Exceptions and side-effects in atomic blocks
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Divide-and-Conquer for Parallel Processing
IEEE Transactions on Computers
SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
25 Years of Model Checking
Models, languages, and heuristics for distributed computing
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Paper: A software architecture for distributed computer control systems
Automatica (Journal of IFAC)
Language constructs for real-time distributed systems
Computer Languages
Abstractions for distributed programming
Computer Languages
A network operating system for microcomputers
Computer Communications
Distributed programming languages: design and implementation
Computer Communications
Case study: Distributed system for educational use
Computer Communications
Finding, expressing and managing parallelism in programs executed on clusters of workstations
Computer Communications
Hi-index | 48.27 |
A language concept for concurrent processes without common variables is introduced. These processes communicate and synchronize by means of procedure calls and guarded regions. This concept is proposed for real-time applications controlled by microcomputer networks with distributed storage. The paper gives several examples of distributed processes and shows that they include procedures, coroutines, classes, monitors, processes, semaphores, buffers, path expressions, and input/output as special cases.