A Concurrent Object Calculus: Reduction and Typing

@article{Gordon1998ACO,
  title={A Concurrent Object Calculus: Reduction and Typing},
  author={Andrew D. Gordon and Paul D. Hankin},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1998},
  volume={16},
  pages={248-264}
}
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli’s imperative object calculus with operators f or concurrency from the -calculus and operators for synchronisation based on mutexes. Our syntax of terms is extremely expressive; in a precise sense it unifies notions of expression, process, store, thread, and configuratio n. We present a chemical-style reduction semantics, and prove it equivalent to a structural operational semantics. We identify a… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 74 CITATIONS

Dynamic Access Control in a Concurrent Object Calculus

  • CONCUR
  • 2006
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A fully abstract may testing semantics for concurrent objects

  • Theor. Comput. Sci.
  • 2005
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Formalising Java RMI with explicit code mobility

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Verification: Theory and Practice

  • Lecture Notes in Computer Science
  • 2003
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A distributed object calculus

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A type system for data-flow integrity on Windows Vista

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Abstract Interpretation Against Races

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

An Interpretation of Typed Concurrent Objects in the Blue Calculus

  • IFIP TCS
  • 2000
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1997
2018

CITATION STATISTICS

  • 8 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

The Pi-calculus in Direct Style

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

A Fast Mutual Exclusion Algorithm

  • ACM Trans. Comput. Syst.
  • 1987
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A structural approach to operational semantics

G. D. Plotkin
  • 1981
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A calculus for concurrent objects

M. Hennessy, A. Jeffrey
  • 1996

Concurrent Haskell

S. L. Peyton Jones, A. D. Gordon, S. Finne
  • 1996
VIEW 1 EXCERPT

Concurrent Objects in a Process Calculus

  • Theory and Practice of Parallel Programming
  • 1994
VIEW 3 EXCERPTS

From a concurrent  - calculus to the  - calculus

D. N. Turner
  • Proc . Foundations of Computation Theory 95 , Volume 965 of Lecture Notes in Computer Science
  • 1994

Similar Papers

Loading similar papers…