A Compositional Approach to Concurrent Programming

A Compositional Approach to Concurrent Programming (1995)

Cached

Download Links

[arthur.cs.ucdavis.edu]

Other Repositories/Bibliography

DBLP

by Raju Pandey

Citations:

7 - 4 self

BibTeX

@MISC{Pandey95acompositional,
    author = {Raju Pandey},
    title = {A Compositional Approach to Concurrent Programming},
    year = {1995}
}

Bookmark

OpenURL

Abstract

Citations

3118	Communicating sequential processes - Hoare - 1978
1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
1392	The C++ Programming Language - Stroustrup - 1995
1225	A calculus of communicating systems - Milner - 1980
1219	An axiomatic basis for computer programming - Hoare - 1969
1048	On the Criteria To Be Used in Decomposing Systems into Modules - Parnas - 1972
893	Using MPI: Portable Parallel Programming with the Message-Passing Interface - Gropp, Lusk, et al. - 1999
840	Generative communication in Linda - Gelernter
725	the Ordering of Events in a Distributed System - Time - 1978
708	Parallel Program Design. A Foundation - Chandy, Misra - 1988
446	Monitors - An Operating System Structuring Concept - Hoare - 1974
411	The Unix time-sharing system - Ritchie, Thompson - 1974
374	Algebraic theory of processes - Hennessy - 1988
300	Cooperating sequential processes - Dijkstra - 1968
288	Introduction to matrix computations - Stewart - 1973
259	Solution of a problem in concurrent programming control - Dijkstra - 1965
258	The family of concurrent logic programming languages - Shapiro - 1989
231	Modeling Concurrency with Partial Orders - Pratt - 1986
210	Dimensions of object-based language design - Wegner - 1987
198	and Bjarne Stroustrup. The Annotated C++ Reference Manual - Ellis - 1990
163	Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages - Matsuoka, Yonezawa - 1993
155	a Non-Strict Functional Language with Polymorphic Types - Miranda - 1985
152	The Structure of the ”THE” Multiprogramming System - Dijkstra - 1968
142	Towards a Method of Object-Oriented Concurrent Programming - Caromel - 1993
137	Scalable performance analysis: the Pablo performance analysis environment - Reed, Roth - 1994
128	The drinking philosophers problem - CHANDY, MISRA - 1984
117	Inheritance as an incremental modification mechanism or what like is and what isn't like - Wegner, Zdonik - 1988
111	The Specification of Process Synchronization by Paths Expressions - Campbell, Haberman - 1974
110	Parlog: Parallel programming in logic - Clark, Gregory - 1988
102	Easy-to-use object-oriented parallel processing with mentat - Grimshaw - 1993
98	Compositional C++: Compositional parallel programming - Chandy, Kesselman - 1992
98	Towards a theory of parallel programming - Hoare - 1972
93	C threads - Cooper, Draves - 1988
82	Introduction to Parallel Programming - Chandy, Taylor - 1991
77	Report on the Programming Language Haskell - HUDAK, PEYTON-JONES, et al. - 1992
75	evolution, and application of functional programming languages - Conception - 1989
58	Concert---efficient runtime support for concurrent object-oriented programming languages on stock hardware - Karamcheti, Chien - 1993
57	Portable Run-time Support for Dynamic Object-Oriented Parallel Processing, volume 14(2) of Transactions on Computer Systems - Grimshaw, Weissman, et al. - 1996
57	Inheritance in actor based concurrent object-oriented languages - Kafura, Lee - 1989
49	Concurrent prolog: a progress report, in - Shapiro - 1987
43	Solving the inheritance anomaly in concurrent object-oriented programming - Meseguer - 1993
40	Modelingand Programming in Object-Oriented Concurrent Language ABCL/1 - Yonezawa, Briot, et al. - 1987
38	An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers - Taura, Matsuoka, et al. - 1993
37	Highly Efficient and Encapsulated Reuse of Synchronization Code - Matsuoka, Taura, et al. - 1993
33	Parallel Execution of Logic Programs - Conery - 1987
32	The Chare Kernel parallel programming language and system - Kale - 1990
31	Inheritance of synchronization constraints in concurrent object-oriented programming languages - Frølund - 1992
31	Roome: Concurrent C++: concurrent programming with class(es - Gehani, D - 1988
29	Synchronizing Actions - Neusius - 1991
29	Concurrent Programming in Con-currentSmalltalk - Yokote, Tokoto - 1987