Article

Concurrent Objects in a Process Calculus

Author:

Benjamin C. PierceAuthors Info & Claims

TPPP '94: Proceedings of the International Workshop on Theory and Practice of Parallel Programming

Pages 187 - 215

Published: 07 November 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Albert EFlores-Montoya AGenaim SMartin-Martin E(2015)May-Happen-in-Parallel Analysis for Actor-Based ConcurrencyACM Transactions on Computational Logic10.1145/282425517:2(1-39)Online publication date: 22-Dec-2015
https://dl.acm.org/doi/10.1145/2824255
Sewell PWojciechowski PUnyapoth A(2010)Nomadic pictACM Transactions on Programming Languages and Systems10.1145/1734206.173420932:4(1-63)Online publication date: 22-Apr-2010
https://dl.acm.org/doi/10.1145/1734206.1734209
Caromel DHenrio LSerpette B(2009)Asynchronous sequential processesInformation and Computation10.1016/j.ic.2008.12.004207:4(459-495)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1016/j.ic.2008.12.004
Show More Cited By

Index Terms

Concurrent Objects in a Process Calculus
1. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models

Index terms have been assigned to the content through auto-classification.

Recommendations

A True Concurrent Process Calculus and Its Conflict Bisimulation
SNPD '09: Proceedings of the 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing

In this paper we present a true concurrency variant ofpi-calculus. This calculus can describe the simultaneousexecution of several atomic actions and the true concurrentexecution of several processes. An important character oftrue concurrency is ...
Looking for efficient implementations of concurrent objects
PaCT'11: Proceedings of the 11th international conference on Parallel computing technologies

As introduced by Taubenfeld, a contention-sensitive implementation of a concurrent object is an implementation such that the overhead introduced by locking is eliminated in the common cases, i.e., when there is no contention or when the operations ...
Linearizable concurrent objects
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

Technological advances are making multiprocessors more readily available, but despite impressive progress at the hardware level, it is still difficult to realize these machines' potential for parallelism. In the sequential domain, “object-oriented” ...

Comments

Information & Contributors

Information

Published In

TPPP '94: Proceedings of the International Workshop on Theory and Practice of Parallel Programming

November 1994

483 pages

ISBN:3540591729

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 November 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Albert EFlores-Montoya AGenaim SMartin-Martin E(2015)May-Happen-in-Parallel Analysis for Actor-Based ConcurrencyACM Transactions on Computational Logic10.1145/282425517:2(1-39)Online publication date: 22-Dec-2015
https://dl.acm.org/doi/10.1145/2824255
Sewell PWojciechowski PUnyapoth A(2010)Nomadic pictACM Transactions on Programming Languages and Systems10.1145/1734206.173420932:4(1-63)Online publication date: 22-Apr-2010
https://dl.acm.org/doi/10.1145/1734206.1734209
Caromel DHenrio LSerpette B(2009)Asynchronous sequential processesInformation and Computation10.1016/j.ic.2008.12.004207:4(459-495)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1016/j.ic.2008.12.004
Henrio LKammüller F(2007)A mechanized model of the theory of objectsProceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems10.5555/1772150.1772167(190-205)Online publication date: 6-Jun-2007
https://dl.acm.org/doi/10.5555/1772150.1772167
Caromel DHenrio LSerpette B(2004)Asynchronous and deterministic objectsACM SIGPLAN Notices10.1145/982962.96401239:1(123-134)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/982962.964012
Caromel DHenrio LSerpette BJones NLeroy X(2004)Asynchronous and deterministic objectsProceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/964001.964012(123-134)Online publication date: 14-Jan-2004
https://dl.acm.org/doi/10.1145/964001.964012
Igarashi AKobayashi N(2004)A generic type system for the Pi-calculusTheoretical Computer Science10.1016/S0304-3975(03)00325-6311:1-3(121-163)Online publication date: 23-Jan-2004
https://dl.acm.org/doi/10.1016/S0304-3975%2803%2900325-6
de Nicola RFerrari GPugliese R(1998)KLAIMIEEE Transactions on Software Engineering10.1109/32.68525624:5(315-330)Online publication date: 1-May-1998
https://dl.acm.org/doi/10.1109/32.685256
Gunter C(1996)Abstracting dependencies between software configuration itemsACM SIGSOFT Software Engineering Notes10.1145/250707.23912921:6(167-178)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1145/250707.239129
Thomsen B(1996)Programming languages, analysis tools, and concurrency theoryACM Computing Surveys10.1145/242224.24229728:4es(57-es)Online publication date: 1-Dec-1996
https://dl.acm.org/doi/10.1145/242224.242297
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

A True Concurrent Process Calculus and Its Conflict Bisimulation

Looking for efficient implementations of concurrent objects

Linearizable concurrent objects

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations