The Library
Social confluence in client-server systems
Tools
UNSPECIFIED (1997) Social confluence in client-server systems. In: 1996 Annual Conference of the European-Association-for-Computer-Science-Logic (CSL 96), UNIV UTRECHT, UTRECHT, NETHERLANDS, SEP 21-27, 1996. Published in: COMPUTER SCIENCE LOGIC, 1258 pp. 385-398. ISBN 3-540-63172-0. 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 partial confluence of concurrent systems is presented in the setting of the polyadic pi-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, a member of a class of concurrent servers which may perform up to one state-changing internal action in determining the answer to a client's question is indistinguishable from a serial server.
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: | COMPUTER SCIENCE LOGIC | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-63172-0 | ||||
ISSN: | 0302-9743 | ||||
Editor: | vanDalen, D and Bezem, M | ||||
Official Date: | 1997 | ||||
Dates: |
|
||||
Volume: | 1258 | ||||
Number of Pages: | 14 | ||||
Page Range: | pp. 385-398 | ||||
Publication Status: | Published | ||||
Title of Event: | 1996 Annual Conference of the European-Association-for-Computer-Science-Logic (CSL 96) | ||||
Location of Event: | UNIV UTRECHT, UTRECHT, NETHERLANDS | ||||
Date(s) of Event: | SEP 21-27, 1996 |
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 |