dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Walker, D. | en |
dc.contributor.editor | Degano P. | en |
dc.contributor.editor | Gorrieri R. | en |
dc.contributor.editor | Marchetti-Spaccamela A. | 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/54850 | |
dc.description.abstract | An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis of a distributed algorithm. © Springer-Verlag Berlin Heidelberg 1997. | en |
dc.source | 24th International Colloquium on Automata, Languages and Programming, ICALP 1997 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84951190926&partnerID=40&md5=343d9f6ca711feeb807e1e8ea41c6d41 | |
dc.subject | Calculations | en |
dc.subject | Automata theory | en |
dc.subject | Computational linguistics | en |
dc.subject | Basic theory | en |
dc.subject | Mobile systems | en |
dc.subject | R calculus | en |
dc.title | On confluence in the π-caleulus | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 1256 | |
dc.description.startingpage | 314 | |
dc.description.endingpage | 324 | |
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: | en |
dc.description.notes | Conference code: 150219 | en |
dc.description.notes | Cited By :11</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |