English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
A Symbolic Characterisation of Open Bisimulation for the Spi Calculus
> Access to Fulltext
Information
Files
A Symbolic Characterisation of Open Bisimulation f[...]
-
Briais, Sébastien
main
file(s):
SymbolicOpen-working
version 1
SymbolicOpen-working.pdf
[355.69 KB]
27 Jan 2018, 13:04
n/a