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.





































































communication analysis

(# 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.







































































migration analysis

(#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[

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[

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,42) = (29,42)
(29,41) = (29,41)

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,42) = (29,42)
(29,41) = (29,41)

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,42) = (29,42)
(29,41) = (29,41)

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.







































































occurrence counting analysis

(#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 the ambient the content of which you want the description 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
      ]
)

]


Please select its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 its surrounding ambient
main menu - occurrence counting

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 - occurrence counting -


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:1[   
        !open12 duplicate.0 
      | !(k)13.open14 token.
                instance15[in16 k.open17 request.(rep)18.
                                           ( 
                                             answer19[<rep>20
                                           | 
                                             out21 server.token22:[|0;+oo|[[out23 k.in24 server.0]
                                           )
                        ] 
      |
        token25[0] | token26[0] | token27[0]
      ]
|

client28:1[!(x)29.((# q)(# p) 
             p32:[|0;+oo|[[  
                out33 client.0
              |
                request34[<q>35]
              |    
                open36 instance.0
              |
                in37 server.duplicate38:[|0;+oo|[[out39 p.<p>40]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting

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 - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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 - occurrence counting - p32[


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 - occurrence counting - request34[


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 - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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:1 duplicate.0 
      | !(k)13:1.open14:[|0;+oo|[ token.
                instance15:[|0;+oo|[[in16 k.open17 request.(rep)18.
                                           ( 
                                             answer19[<rep>20
                                           | 
                                             out21 server.token22:[|0;+oo|[[out23 k.in24 server.0]
                                           )
                        ] 
      |
        token25:[|0;1|][0] | token26:[|0;1|][0] | token27:[|0;1|][0]
      ]
|

client28[!(x)29.((# q)(# p) 
             p32:[|0;+oo|[[  
                out33 client.0
              |
                request34[<q>35]
              |    
                open36 instance.0
              |
                in37 server.duplicate38:[|0;+oo|[[out39 p.<p>40:[|0;+oo|[]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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:1 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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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:1.((# q)(# p) 
             p32:[|0;+oo|[[  
                out33 client.0
              |
                request34[<q>35]
              |    
                open36 instance.0
              |
                in37 server.duplicate38[out39 p.<p>40]      
              ]

              | 
                <make>41:[|0;1|])
      | 
        <make>42:[|0;1|]
      ]
)

]

main menu - occurrence counting - client28[


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:[|0;+oo|[[in16 k.open17:[|0;1|] request.(rep)18:[|0;1|].
                                           ( 
                                             answer19:[|0;1|][<rep>20
                                           | 
                                             out21:[|0;1|] server.token22:[|0;1|][out23 k.in24 server.0]
                                           )
                        ] 
      |
        token25[0] | token26[0] | token27[0]
      ]
|

client28[!(x)29.((# q)(# p) 
             p32[  
                out33 client.0
              |
                request34:[|0;1|][<q>35:[|0;1|]]
              |    
                open36:[|0;1|] instance.0
              |
                in37:[|0;1|] server.duplicate38:[|0;1|][out39 p.<p>40]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting - p32[


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 - occurrence counting - request34[


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:1]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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 - occurrence counting - server11[


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:1 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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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:[|0;+oo|[[in16 k.open17:[|0;1|] request.(rep)18:[|0;1|].
                                           ( 
                                             answer19:[|0;1|][<rep>20
                                           | 
                                             out21:[|0;1|] server.token22[out23 k.in24 server.0]
                                           )
                        ] 
      |
        token25[0] | token26[0] | token27[0]
      ]
|

client28[!(x)29.((# q)(# p) 
             p32[  
                out33 client.0
              |
                request34:[|0;1|][<q>35:[|0;1|]]
              |    
                open36:[|0;1|] instance.0
              |
                in37 server.duplicate38:[|0;1|][out39 p.<p>40]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting - p32[


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 - occurrence counting - request34[


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:1]      
              ]

              | 
                <make>41)
      | 
        <make>42
      ]
)

]

main menu - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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 - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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 - occurrence counting - p32[


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 - occurrence counting - request34[


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 - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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 - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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 - occurrence counting - p32[


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 - occurrence counting - request34[


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 - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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 - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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 - occurrence counting - p32[


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 - occurrence counting - request34[


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 - occurrence counting - duplicate38[


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 - occurrence counting -


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 - occurrence counting

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 - occurrence counting - server11[


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 - occurrence counting - instance15[


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 - occurrence counting - answer19[


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 - occurrence counting - token22[


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 - occurrence counting - token25[


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 - occurrence counting - token26[


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 - occurrence counting - token27[


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 - occurrence counting - client28[


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 - occurrence counting - p32[


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