dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.contributor.editor | van Dalen D. | en |
dc.contributor.editor | Bezem M. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Walker, D. | en |
dc.date.accessioned | 2019-11-13T10:42:01Z | |
dc.date.available | 2019-11-13T10:42:01Z | |
dc.date.issued | 1997 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54849 | |
dc.description.abstract | An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-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. © Springer-Verlag Berlin Heidelberg 1997. | en |
dc.source | 10th International Workshop on Computer Science Logic, CSL 1996, 5th Annual Conference of the European Association for Computer Science Logic, EACSL 1996 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84958767223&doi=10.1007%2f3-540-63172-0_51&partnerID=40&md5=318fa159eda9edfb79f5b065b8a072ca | |
dc.subject | Calculations | en |
dc.subject | Computer circuits | en |
dc.subject | Reconfigurable hardware | en |
dc.subject | Pi calculus | en |
dc.subject | Concurrent systems | en |
dc.subject | Client-server systems | en |
dc.subject | Serial servers | en |
dc.title | Social confluence in client-server systems | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/3-540-63172-0_51 | |
dc.description.volume | 1258 | |
dc.description.startingpage | 159 | |
dc.description.endingpage | 179 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: European Union | en |
dc.description.notes | Koninklijke Nederlandse Akademie van Wetenschappen | en |
dc.description.notes | University of Utrecht | en |
dc.description.notes | Conference code: 142879</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |