2 search results - page 1 / 1 » Infinite Product of Traces Represented by Projections |
88
Voted
FUIN
2010
14 years 7 months ago
2010
The construction of an associative -product of traces from an earlier paper is revisited using projection representation of traces. Using projections instead of trace prefixes res...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...