The Library
Social confluence in client-server systems
Tools
Tools
Tools
UNSPECIFIED (1997) Social confluence in client-server systems. In: 1996 Annual Conference of the European-Association-for-Computer-Science-Logic (CSL 96), SEP 21-27, 1996, UNIV UTRECHT, UTRECHT, NETHERLANDS.
Full text not available from this repository.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 |
| Date: | 1997 |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/15711 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
