The Library
On confluence in the pi-calculus
Tools
Tools
Tools
UNSPECIFIED (1997) On confluence in the pi-calculus. In: 24th International Colloquium on Algorithm, Languages and Programming (ICALP 97), JUL 07-11, 1997, BOLOGNA, ITALY.
Full text not available from this repository.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 |
| Date: | 1997 |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/15473 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
