The Library
On confluence in the pi-calculus
Tools
UNSPECIFIED (1997) On confluence in the pi-calculus. In: 24th International Colloquium on Algorithm, Languages and Programming (ICALP 97), BOLOGNA, ITALY, JUL 07-11, 1997. Published in: AUTOMATA, LANGUAGES AND PROGRAMMING, 1256 pp. 314-324. ISBN 3-540-63165-8. 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 account of the basic theory of confluence in the pi-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.
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: | AUTOMATA, LANGUAGES AND PROGRAMMING | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-63165-8 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Degano, P and Gorrieri, R and MarchettiSpaccamela, A | ||||
Official Date: | 1997 | ||||
Dates: |
|
||||
Volume: | 1256 | ||||
Number of Pages: | 11 | ||||
Page Range: | pp. 314-324 | ||||
Publication Status: | Published | ||||
Title of Event: | 24th International Colloquium on Algorithm, Languages and Programming (ICALP 97) | ||||
Location of Event: | BOLOGNA, ITALY | ||||
Date(s) of Event: | JUL 07-11, 1997 |
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 |