The Library
Confluence of processes and systems of objects
Tools
UNSPECIFIED (1995) Confluence of processes and systems of objects. In: 6th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT 95), UNIV AARHUS, AARHUS, DENMARK, MAY 22-26, 1995. Published in: TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 915 pp. 217-231. ISBN 3-540-59293-8. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
An extension to the theory of confluence in the process calculus CCS is presented. The theory is generalized to an extension of the pi-calculus. This calculus is used to provide semantics by translation for a parallel object-oriented programming language. The confluence theory is applied to prove the indistinguishability in an arbitrary program context of two class definitions which generate binary tree data structures one of which allows concurrent operations.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-59293-8 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Mosses, PD and Nielsen, M and Schwartzbach, MI | ||||
Official Date: | 1995 | ||||
Dates: |
|
||||
Volume: | 915 | ||||
Number of Pages: | 15 | ||||
Page Range: | pp. 217-231 | ||||
Publication Status: | Published | ||||
Title of Event: | 6th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT 95) | ||||
Location of Event: | UNIV AARHUS, AARHUS, DENMARK | ||||
Date(s) of Event: | MAY 22-26, 1995 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |