main menu
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
Please select a channel name or return to the main menu
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
main menu - communication analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
Start -->
END
Start -->
END
main menu - communication analysis -
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)
open17 request
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# request)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# request)
request34[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# request)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# make)
<make>42
Start -->
END
Start -->
END
main menu - communication analysis - (# make)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# make)
<make>41
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# make)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# server)
server11[
Start -->
END
Start -->
END
main menu - communication analysis - (# server)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# server)
in24 server
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# server)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# server)
out21 server
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# server)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# server)
in37 server
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# server)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# duplicate)
open12 duplicate
Start -->
END
Start -->
END
main menu - communication analysis - (# duplicate)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# duplicate)
duplicate38[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# duplicate)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# instance)
instance15[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# instance)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# instance)
open36 instance
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# instance)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# answer)
answer19[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# answer)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# client)
client28[
Start -->
END
Start -->
END
main menu - communication analysis - (# client)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# client)
out33 client
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - communication analysis - (# client)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# token)
token25[
Start -->
END
Start -->
END
main menu - communication analysis - (# token)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# token)
token22[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - communication analysis - (# token)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# token)
open14 token
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(29,42) + 1 = (29,42)
(13,40) + 1 = (13,40)
main menu - communication analysis - (# token)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# token)
token27[
Start -->
END
Start -->
END
main menu - communication analysis - (# token)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# token)
token26[
Start -->
END
Start -->
END
main menu - communication analysis - (# token)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# q)
<q>35
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - communication analysis - (# q)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# q)
<rep>20
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
(13,40) + 1 = (13,40)
main menu - communication analysis - (# q)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# p)
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - communication analysis - (# p)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# p)
out23 k
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
(13,40) + 1 = (13,40)
main menu - communication analysis - (# p)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# p)
in16 k
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
(13,40) + 1 = (13,40)
main menu - communication analysis - (# p)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# p)
<p>40
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - communication analysis - (# p)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(# p)
out39 p
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - communication analysis - (# p)
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
Please select the label of an agent or return to the main menu
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)
(
server11[
!open12 duplicate.0
| !(k)13.open14 token.
instance15[in16 k.open17 request.(rep)18.
(
answer19[<rep>20]
|
out21 server.token22[out23 k.in24 server.0]
)
]
|
token25[0] | token26[0] | token27[0]
]
|
client28[!(x)29.((# q)(# p)
p32[
out33 client.0
|
request34[<q>35]
|
open36 instance.0
|
in37 server.duplicate38[out39 p.<p>40]
]
|
<make>41)
|
<make>42
]
)
]
main menu - migration analysis
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
top_level2[
Start -->
END
Start -->
END
main menu - migration analysis - top_level2[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
server11[
server11[
Start -->
END
Start -->
END
main menu - migration analysis - server11[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
server11[
top_level2[
Start -->
END
Start -->
END
main menu - migration analysis - server11[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
open12 duplicate
server11[
Start -->
END
Start -->
END
main menu - migration analysis - open12 duplicate
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(k)13
server11[
Start -->
END
Start -->
END
main menu - migration analysis - (k)13
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
open14 token
server11[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - open14 token
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
instance15[
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
(13,40) + 1 = (13,40)
main menu - migration analysis - instance15[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
instance15[
server11[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - instance15[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
in16 k
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - in16 k
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
in16 k
instance15[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
(29,41) = (29,41)
(13,40) = (13,40)
(29,42) = (29,42)
main menu - migration analysis - in16 k
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
open17 request
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - open17 request
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
open17 request
instance15[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
(29,42) = (29,42)
(13,40) = (13,40)
(29,41) = (29,41)
main menu - migration analysis - open17 request
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(rep)18
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - (rep)18
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
answer19[
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - answer19[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<rep>20
answer19[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
(29,41) = (29,41)
(13,40) = (13,40)
(29,42) = (29,42)
main menu - migration analysis - <rep>20
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out21 server
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - out21 server
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token22[
client28[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - token22[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token22[
top_level2[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - token22[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token22[
server11[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - token22[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token22[
p32[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
(13,40) + 1 = (13,40)
main menu - migration analysis - token22[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out23 k
server11[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - out23 k
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out23 k
token22[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
(29,42) = (29,42)
(13,40) = (13,40)
(29,41) = (29,41)
main menu - migration analysis - out23 k
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
in24 server
server11[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start -->
END
(13,40) + 1 = (13,40)
(29,42) + 1 = (29,42)
main menu - migration analysis - in24 server
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
in24 server
token22[
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
Start --> (29,42)A
A --> (29,41)A+ (13,40)B
B -->
END
(29,42) = (29,42)
(13,40) = (13,40)
(29,41) = (29,41)
main menu - migration analysis - in24 server
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token25[
server11[
Start -->
END
Start -->
END
main menu - migration analysis - token25[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token26[
server11[
Start -->
END
Start -->
END
main menu - migration analysis - token26[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
token27[
server11[
Start -->
END
Start -->
END
main menu - migration analysis - token27[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
client28[
top_level2[
Start -->
END
Start -->
END
main menu - migration analysis - client28[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
(x)29
client28[
Start -->
END
Start -->
END
main menu - migration analysis - (x)29
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
p32[
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - p32[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
p32[
server11[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - p32[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
p32[
top_level2[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - p32[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
p32[
client28[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - p32[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out33 client
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - out33 client
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
request34[
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - request34[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<q>35
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - <q>35
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<q>35
request34[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - <q>35
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
open36 instance
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - open36 instance
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
in37 server
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,42) = (29,42)
(29,41) = (29,41)
main menu - migration analysis - in37 server
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
duplicate38[
client28[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - duplicate38[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
duplicate38[
top_level2[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - duplicate38[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
duplicate38[
server11[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - duplicate38[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
duplicate38[
p32[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
main menu - migration analysis - duplicate38[
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out39 p
server11[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - out39 p
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
out39 p
duplicate38[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
main menu - migration analysis - out39 p
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<p>40
server11[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - <p>40
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<p>40
duplicate38[
Start --> (29,42)A
A -->
END+ (29,41)A
Start --> (29,42)A
A -->
END+ (29,41)A
(29,41) = (29,41)
(29,42) = (29,42)
main menu - migration analysis - <p>40
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<make>41
client28[
Start --> (29,42)A
A -->
END+ (29,41)A
Start -->
END
(29,42) + 1 = (29,42)
main menu - migration analysis - <make>41
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
<make>42
client28[
Start -->
END
Start -->
END
main menu - migration analysis - <make>42
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.
parsing : 0.s
analysis : 0.27s
displaying: 0.s
main menu
Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.