(Enter summary)
Abstract: . This paper presents a model for concurrent programming,
where programs (concurrent program structures) are represented as composition
expressions over component programs with suitably defined operators.
In this model of programming, called Composition bY Event
Specification (C-YES), a composition of programs specifies that all events
(individual occurrences of named operations, called actions) of component
programs can execute in parallel, except for a set of events that
interact with... (Update)
Context of citations to this paper: More
.... The computational model [4] for CYES C is derived by integrating the ideas of a general model of computation, called the C YES model[3], within the framework of the object oriented paradigm. The major components of C YES model of parallel computation are: i) separation of...
...the methods of parallel compilation [Ban94] to derive procedural programs from constraint systems. The approach of Pandey and Browne [PB93] expresses parallel computation as constraints on the order of execution of units of computations. We derive this ordering from the...
Cited by: More
Support for Extensibility and Reusability in a Concurrent.. - Pandey, Browne (1996)
(Correct)
Support for Extensibility and Re-usability in CYES-C++ - Raju Pandey Browne
(Correct)
A Compositional Approach to Concurrent Object-Oriented.. - Pandey, Browne (1994)
(Correct)
Similar documents (at the sentence level):
5.2%: A Compositional Approach to Concurrent Programming - Pandey (1995)
(Correct)
Active bibliography (related documents): More All
1.9: Event-based Composition of Concurrent Programs - Pandey, Browne (1993)
(Correct)
0.4: Support for Implementation of Evolutionary Concurrent Systems - Pandey, Browne (2001)
(Correct)
0.3: Support for Implementation of Evolutionary Concurrent Systems .. - Pandey, Browne
(Correct)
Similar documents based on text: More All
0.3: CYES-C++: A Concurrent Extension of C++ through Compositional .. - Pandey, Browne (1994)
(Correct)
0.3: A Reduction Theorem for Concurrent Object-Oriented Programs - Misra
(Correct)
0.2: Secure Execution of Mobile Programs - Pandey, Hashii, Lal
(Correct)
Related documents from co-citation: More All
4: Easy-to-use Object-Oriented Parallel Processing with Mentat (context) - Grimshaw - 1993
4: Analysis of inheritance anomaly in object-oriented concurrent programming langua..
- Matsuoka, Yonezawa - 1993
4: Compositional Parallel Programming (context) - Chandy, Kesselman - 1993
BibTeX entry: (Update)
Raju Pandey and James C. Browne. Event-based Composition of Concurrent Programs. In Workshop on Languages and Compilers for Parallel Computation, Lecture Notes in Computer Science 768. Springer Verlag, 1993. http://citeseer.ist.psu.edu/article/pandey93eventbased.html More
@inproceedings{ pandey93eventbased,
author = "Raju Pandey and James C. Browne",
title = "Event-based Composition of Concurrent Programs",
booktitle = "Languages and Compilers for Parallel Computing",
pages = "115-138",
year = "1993",
url = "citeseer.ist.psu.edu/article/pandey93eventbased.html" }
Citations (may not include all citations):
2732
Communicating Sequential Processes (context) - Hoare - 1978
247
The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
239
Monitor: An Operating System Structuring Concept (context) - Hoare - 1974
227
Kernighan and Dennis M (context) - Brian - 1978
176
Introduction to Matrix Computations (context) - Stewart - 1973
158
Implementing Remote Procedure Calls (context) - Birrell, Nelson - 1984
142
Solution of a Problem in Concurrent Programming Control (context) - Dijkstra - 1965
132
Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1989
131
Modeling Concurrency with Partial Order (context) - Pratt - 1986
86
The Specification of Process Synchronization by Path Express.. (context) - Campbell, Habermann - 1974
67
Compositional Parallel Programming (context) - Chandy, Kesselman - 1992
65
A Parallel Object--Oriented Language (context) - America - 1987
64
The Structure of the THE Multiprogramming System (context) - Dijkstra - 1968
40
Cummings Publishing Company (context) - Andrews, The - 1991
28
Software -- Practice and Experience (context) - Gehani, Roome - 1986
20
Parallelism in Object-- Oriented Languages: a Survey (context) - Wyatt, Kavi et al. - 1992
16
Ada: Concurrent Programming (context) - Gehani - 1984
15
Concurrent Object Oriented Programming Languages (context) - Tomlinson, Scheevek - 1989
13
Mediators: A Synchronization Mechanism (context) - Grass, Campbell - 1986
10
Joyce - A Programming Language for Distributed Systems (context) - Per - 1987
10
Modeling and Programming in Object--Oriented Concurrent Lang.. (context) - Yonezawa, Briot et al.
9
Predicate Path Expression (context) - Andler - 1979
4
Evaluating Synchronization Schemes (context) - Bloom - 1979
2
Synchronization of Parallel Programs (context) - Andre, Herman et al. - 1985
2
Modules in High Level Programming Languages (context) - Cioni, Kreczmar - 1989
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.utexas.edu.html): More
Stack Tracing In A Statically Typed Language - Diwan (1991)
(Correct)
Combining Top-down and Bottom-up Techniques in Inductive .. - Zelle, Mooney, Konvisser (1994)
(Correct)
Expert Systems for Monitoring and Control - Dvorak (1987)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC