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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
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.
(#top_level)
top_level2[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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)(# tok)
(
server12[
!open13 duplicate.0
| !(k)14.open15 token.
instance16[in17 k.open18 request.(rep)19.
(
answer20[<rep>21]
|
out22 server.open23 tok.0
)
]
|
token24[0] | token25[0] | token26[0]
]
|
client27[!(x)28.((# q)(# p)
p31[
out32 client.0
|
request33[<q>34]
|
open35 instance.tok36[token37[out38 p.in39 server.0]]
|
in40 server.duplicate41[out42 p.<p>43]
]
|
<make>44)
|
<make>45
]
)
]
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.
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server12:1[
!open13:1 duplicate.0
| !(k)14:1.open15:[|0;+oo|[ token.
instance16:[|0;3|][in17:[|0;+oo|[ k.open18:[|0;+oo|[ request.(rep)19:[|0;+oo|[.
(
answer20:[|0;+oo|[[<rep>21:[|0;+oo|[]
|
out22:[|0;+oo|[ server.open23:[|0;+oo|[ tok.0
)
]
|
token24:[|0;1|][0] | token25:[|0;1|][0] | token26:[|0;1|][0]
]
|
client27:1[!(x)28:1.((# q)(# p)
p31:[|0;+oo|[[
out32:[|0;+oo|[ client.0
|
request33:[|0;+oo|[[<q>34:[|0;+oo|[]
|
open35:[|0;+oo|[ instance.tok36:[|0;+oo|[[token37:[|0;3|][out38:[|0;+oo|[ p.in39:[|0;+oo|[ server.0]]
|
in40:[|0;+oo|[ server.duplicate41:[|0;+oo|[[out42:[|0;+oo|[ p.<p>43:[|0;+oo|[]
]
|
<make>44:[|0;1|])
|
<make>45:[|0;1|]
]
)
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.
parsing : 0.s
analysis : 0.59s
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.