Results 1 - 10 of 6,302

Linearizability: a correctness condition for concurrent objects

by Maurice P. Herlihy, Jeannette M. Wing , 1990
"... A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent object ..."
Abstract - Cited by 1178 (28 self) - Add to MetaCart
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent

Concurrent Objects

by In Process Calculus, Benjamin C. Pierce, David N. Turner - In Theory and Practice of Parallel Programming (TPPP , 1995
"... A programming style based on concurrent objects arises almost inevitably in languages where processes communicate by exchanging data on channels. ..."
Abstract - Add to MetaCart
A programming style based on concurrent objects arises almost inevitably in languages where processes communicate by exchanging data on channels.

concurrent objects

by Denys Duchier, Céline Kuttler
"... In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-calculus. These models make it possible to simulate and eventually visualize the dynamic evolution of complex biosystems in ..."
Abstract - Add to MetaCart
describe an on-going effort to design a new higher-level programming language that provides direct ontological support for the concepts which are used to formulate, organize and structure models of biomolecular systems. Our language has an object-oriented flavour where we view molecular components

concurrent objects

by Vladimiro Sassone
"... for the synchronization of ..."
Abstract - Add to MetaCart
for the synchronization of

Typed Concurrent Objects

by Vasco T. Vasconcelos - In Proceedings of the Eighth European Conference on Object Oriented Programming (ECOOP
"... Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed objectoriented concurrent programming language. The basic calculus incorporates the notions of asynchronous labelled messages, concurrent objects composed of ..."
Abstract - Cited by 75 (12 self) - Add to MetaCart
Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed objectoriented concurrent programming language. The basic calculus incorporates the notions of asynchronous labelled messages, concurrent objects composed

Analysis for Concurrent Objects

by Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott - In H. Bowman and J. Derrick (Eds.), Proceedings FMOODS'97 , 1996
"... We present a set-based control flow analysis for an imperative, concurrent object calculus extending the Fisher-Honsell-Mitchell functional object-oriented calculus described in [5]. The analysis is shown to be sound with respect to a transitionsystem semantics. Keywords: concurrent object-oriented ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
We present a set-based control flow analysis for an imperative, concurrent object calculus extending the Fisher-Honsell-Mitchell functional object-oriented calculus described in [5]. The analysis is shown to be sound with respect to a transitionsystem semantics. Keywords: concurrent object

Axioms for concurrent objects

by Maurice Herlihy, Maurice P. Herlihy, Jeannette M. Wing - In POPL ’87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , 1987
"... The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or other reproductions of copyrighted material. Any copying of this document without permission of its author may be prohibited by law. ..."
Abstract - Cited by 91 (11 self) - Add to MetaCart
The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or other reproductions of copyrighted material. Any copying of this document without permission of its author may be prohibited by law.

A Calculus for Concurrent Objects

by Paolo Di Blasio, Kathleen Fisher - Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), LNCS 1119 , 1996
"... . This paper presents an imperative and concurrent extension of the functional object-oriented calculus described in [FHM94]. It belongs to the family of so-called prototype-based object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object exte ..."
Abstract - Cited by 43 (2 self) - Add to MetaCart
. This paper presents an imperative and concurrent extension of the functional object-oriented calculus described in [FHM94]. It belongs to the family of so-called prototype-based object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object

Transactional monitors for concurrent objects

by Adam Welc, Suresh Jagannathan, Antony L. Hosking - In Proceedings of the European Conference on Object-Oriented Programming
"... Abstract. Transactional monitors are proposed as an alternative to monitors based on mutual-exclusion synchronization for object-oriented programming languages. Transactional monitors have execution semantics similar to mutualexclusion monitors but implement monitors as lightweight transactions that ..."
Abstract - Cited by 78 (12 self) - Add to MetaCart
Abstract. Transactional monitors are proposed as an alternative to monitors based on mutual-exclusion synchronization for object-oriented programming languages. Transactional monitors have execution semantics similar to mutualexclusion monitors but implement monitors as lightweight transactions

On the Concurrent Object Model of UML

by Iulian Ober, Ileana Stan - In Proceedings of EUROPAR’99, LNCS , 1999
"... Abstract. Designing object models with concurrency features was a preoccupation of numerous researchers for the past two decades. UML, the standard object-oriented modeling language adopted by the OMG, does not tackle the issues of concurrency in its object model in a systematic way. In this paper w ..."
Abstract - Cited by 9 (5 self) - Add to MetaCart
Abstract. Designing object models with concurrency features was a preoccupation of numerous researchers for the past two decades. UML, the standard object-oriented modeling language adopted by the OMG, does not tackle the issues of concurrency in its object model in a systematic way. In this paper
Results 1 - 10 of 6,302