article · 1993

Process Calculus and Parallel Object-oriented Programming Languages

Cited by 21Abstract and details only

Abstract

Techniques for giving simple accounts of the semantics of parallel object-oriented programming languages are illustrated through a study of the language pobl. A two-level operational semantics is given in which the global transitions of a configuration are derived in a simple way from labelled transitions describing the possible actions of its constituent objects. A second semantics by translation to a fragment of the Higher-Order pi-calculus is presented. A close correspondence between the semantics is described.

Cite this paper

APA 7

Walker, D. J. (1993). Process Calculus and Parallel Object-oriented Programming Languages.

MLA 9

Walker, D. J. “Process Calculus and Parallel Object-oriented Programming Languages.” 1993.

Chicago

Walker, D. J. 1993. “Process Calculus and Parallel Object-oriented Programming Languages.”

Harvard

Walker, D.J. (1993) ‘Process Calculus and Parallel Object-oriented Programming Languages’.

BibTeX

@article{walker1993process,
  title = {{Process Calculus and Parallel Object-oriented Programming Languages}},
  author = {Walker, D. J.},
  year = {1993}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.