|
|||||
|
|
An exercise in structural congruence |
|
| Authors: | Joost Engelfriet Tjalling Gelsema |
| Affiliation: | LIACS, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands |
| Abstract: | Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space. |
| Keywords: | Concurrency Pi-calculus Petri net Commutative semigroup |
| 本文献已被 ScienceDirect 等数据库收录！ | |