|
|||||
|
|
XPi: A typed process calculus for XML messaging |
|
| Authors: | Lucia Acciai Michele Boreale |
| Affiliation: | aDipartimento di Sistemi e Informatica, Università di Firenze, Italy |
| Abstract: | |
| Keywords: | Pi-calculus XML-messaging Pattern-matching Type systems |
| 本文献已被 ScienceDirect 等数据库收录！ | |