UNSPECIFIED (1995) Confluence of processes and systems of objects. In: 6th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT 95), MAY 22-26, 1995, UNIV AARHUS, AARHUS, DENMARK.

Full text not available from this repository.

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
Date:	1995
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
URI:	http://wrap.warwick.ac.uk/id/eprint/19074

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item