Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
428427 | Information Processing Letters | 2007 | 5 Pages |
Abstract
Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics