1934 1934 1934 1934 1934 1934 1934 Ambient Static Analyzer: Results

main menu

communication analysis
migration analysis
occurrence counting analysis
global occurrence counting analysis
log
help
new analysis
home page

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)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

Please select a channel name or return to the main menu

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

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

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)
open¹⁸ request

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(28,45) + 1 = (28,45)
(14,43) + 1 = (14,43)

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)
request³³[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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>⁴⁵

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>⁴⁴

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
server¹²[

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)
in³⁹ server

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
out²² server

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(28,45) + 1 = (28,45)
(14,43) + 1 = (14,43)

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)
in⁴⁰ server

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
open¹³ duplicate

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)
duplicate⁴¹[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
instance¹⁶[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(28,45) + 1 = (28,45)
(14,43) + 1 = (14,43)

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)
open³⁵ instance

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
answer²⁰[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(28,45) + 1 = (28,45)
(14,43) + 1 = (14,43)

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)
client²⁷[

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)
out³² client

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
token³⁷[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

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)
open¹⁵ token

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(14,43) + 1 = (14,43)
(28,45) + 1 = (28,45)

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)
token²⁶[

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)
token²⁵[

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)
token²⁴[

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.

(# tok)
open²³ tok

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(28,45) + 1 = (28,45)
(14,43) + 1 = (14,43)

main menu - communication analysis - (# tok)

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(# tok)
tok³⁶[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - communication analysis - (# tok)

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>³⁴

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

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>²¹

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)
(14,43) + 1 = (14,43)

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)
p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

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)
out³⁸ p

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)

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)
in¹⁷ k

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

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)
⁴³

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

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)
out⁴² p

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

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²[

Start --> END

main menu - migration analysis - top_level²[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

server¹²[

top_level²[

Start --> END

main menu - migration 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.

open¹³ duplicate

server¹²[

Start --> END

main menu - migration analysis - open¹³ 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)¹⁴

server¹²[

Start --> END

main menu - migration analysis - (k)¹⁴

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

open¹⁵ token

server¹²[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(14,43) + 1 = (14,43)
(28,45) + 1 = (28,45)

main menu - migration analysis - open¹⁵ token

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

instance¹⁶[

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)
(14,43) + 1 = (14,43)

main menu - migration 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¹⁶[

server¹²[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> END

(14,43) + 1 = (14,43)
(28,45) + 1 = (28,45)

main menu - migration 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.

in¹⁷ k

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

main menu - migration analysis - in¹⁷ k

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

in¹⁷ k

instance¹⁶[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

(14,43) = (14,43)
(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - in¹⁷ k

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

open¹⁸ request

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

main menu - migration analysis - open¹⁸ request

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

open¹⁸ request

instance¹⁶[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

(14,43) = (14,43)
(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - open¹⁸ 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)¹⁹

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)
(14,43) + 1 = (14,43)

main menu - migration analysis - (rep)¹⁹

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

answer²⁰[

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

main menu - migration 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.

<rep>²¹

answer²⁰[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

(14,43) = (14,43)
(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - <rep>²¹

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

out²² server

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

main menu - migration analysis - out²² server

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

open²³ tok

p³¹[

Start --> (28,45)A
A --> (14,43)B+ (28,44)A
B --> END

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)
(14,43) + 1 = (14,43)

main menu - migration analysis - open²³ tok

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

token²⁴[

server¹²[

Start --> END

main menu - migration 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²⁵[

server¹²[

Start --> END

main menu - migration 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²⁶[

server¹²[

Start --> END

main menu - migration 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.

client²⁷[

top_level²[

Start --> END

main menu - migration 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.

(x)²⁸

client²⁷[

Start --> END

main menu - migration analysis - (x)²⁸

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

p³¹[

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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³¹[

top_level²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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³¹[

client²⁷[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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.

out³² client

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - out³² client

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

request³³[

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration 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.

<q>³⁴

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration 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>³⁴

request³³[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration 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.

open³⁵ instance

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - open³⁵ instance

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

tok³⁶[

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)

main menu - migration analysis - tok³⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

token³⁷[

client²⁷[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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³⁷[

top_level²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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³⁷[

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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³⁷[

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration 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³⁷[

tok³⁶[

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)

main menu - migration 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.

out³⁸ p

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration analysis - out³⁸ p

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

out³⁸ p

token³⁷[

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)

main menu - migration analysis - out³⁸ p

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

in³⁹ server

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration analysis - in³⁹ server

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

in³⁹ server

token³⁷[

Start --> (28,45)A
A --> END+ (28,44)A

(28,44) = (28,44)
(28,45) = (28,45)

main menu - migration analysis - in³⁹ server

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

in⁴⁰ server

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - in⁴⁰ 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⁴¹[

client²⁷[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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⁴¹[

top_level²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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⁴¹[

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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⁴¹[

p³¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration 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.

out⁴² p

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration analysis - out⁴² p

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

out⁴² p

duplicate⁴¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

main menu - migration analysis - out⁴² p

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

⁴³

server¹²[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration analysis - ⁴³

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

⁴³

duplicate⁴¹[

Start --> (28,45)A
A --> END+ (28,44)A

(28,45) = (28,45)
(28,44) = (28,44)

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.

<make>⁴⁴

client²⁷[

Start --> (28,45)A
A --> END+ (28,44)A

Start --> END

(28,45) + 1 = (28,45)

main menu - migration 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>⁴⁵

client²⁷[

Start --> END

main menu - migration 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.

occurrence counting analysis

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO2 :1
VAR PRO-1 PRO2 ---
PRO-1 num:-1 den: 1
PRO2 num:1 den: 1

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server^12:1[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client^27:1[!(x)²⁸.((# q)(# p)
 p^31:[|0;+oo|[[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token^37:[|0;+oo|[[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate^41:[|0;+oo|[[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO37 :[|0;+oo|[
TRANS313738 :[|0;+oo|[
PRO31 :[|0;+oo|[
TRANS273132 :[|0;+oo|[
PRO27 :1
PRO12 :1
TRANS123122 :[|0;+oo|[
TRANS314142 :[|0;+oo|[
PRO41 :[|0;+oo|[
VAR PRO-1 PRO12 PRO27 PRO31 PRO37 PRO41 TRANS123122 TRANS273132 TRANS313738 TRANS314142 ---
PRO-1 num:-1 den: 1
PRO12 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO27 num:1 den: 1

---
PRO31 num:1 den: 1
TRANS123122 num:-1 den: 1
TRANS273132 num:-1 den: 1

---
PRO37 num:1 den: 1
TRANS313738 num:-1 den: 1

---
PRO41 num:1 den: 1
TRANS314142 num:-1 den: 1

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - server¹²[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - instance¹⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - answer²⁰[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁴[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁵[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - client²⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - p³¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - request³³[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - tok³⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token³⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - duplicate⁴¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open^13:1 duplicate.0
 | !(k)^14:1.open^15:[|0;+oo|[ token.
 instance^16:[|0;+oo|[[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token^24:[|0;1|][0] | token^25:[|0;1|][0] | token^26:[|0;1|][0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p^31:[|0;+oo|[[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token^37:[|0;+oo|[[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate^41:[|0;+oo|[[out⁴² p.^43:[|0;+oo|[]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO40 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO37 :[|0;+oo|[
TRANS371239 :[|0;+oo|[
TRANS123122 :[|0;+oo|[
TRANS15260 :[|0;1|]
PRO16 :[|0;+oo|[
TRANS15240 :[|0;1|]
PRO42 :0
PRO43 :[|0;+oo|[
PRO-1 :0
TRANS13410 :[|0;+oo|[
PRO31 :[|0;+oo|[
TRANS311240 :[|0;+oo|[
PRO26 :[|0;1|]
PRO25 :[|0;1|]
PRO24 :[|0;1|]
PRO14 :1
PRO13 :1
TRANS314142 :[|0;+oo|[
PRO41 :[|0;+oo|[
TRANS14430 :[|0;+oo|[
PRO15 :[|0;+oo|[
TRANS15250 :[|0;1|]
TRANS15370 :[|0;+oo|[
PRO39 :0
TRANS35160 :[|0;+oo|[
PRO38 :0
TRANS23360 :[|0;+oo|[
TRANS313738 :[|0;+oo|[
VAR PRO-1 PRO13 PRO14 PRO15 PRO16 PRO24 PRO25 PRO26 PRO31 PRO37 PRO38 PRO39 PRO41 PRO42 PRO43 TRANS123122 TRANS13410 TRANS14430 TRANS15240 TRANS15250 TRANS15260 TRANS15370 TRANS23360 TRANS311240 TRANS313738 TRANS314142 TRANS35160 TRANS371239 ---
PRO-1 num:-1 den: 1
PRO13 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO14 num:1 den: 1

---
PRO15 num:1 den: 1
TRANS14430 num:-1 den: 1
TRANS15240 num:1 den: 1
TRANS15250 num:1 den: 1
TRANS15260 num:1 den: 1
TRANS35160 num:1 den: 1

---
PRO16 num:1 den: 1
TRANS15240 num:-1 den: 1
TRANS15250 num:-1 den: 1
TRANS15260 num:-1 den: 1
TRANS35160 num:-1 den: 1

---
PRO-1 num:-1 den: 1
PRO24 num:1 den: 1
TRANS15240 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO25 num:1 den: 1
TRANS15250 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO26 num:1 den: 1
TRANS15260 num:1 den: 1

---
PRO31 num:1 den: 1
TRANS123122 num:1 den: 1
TRANS13410 num:1 den: 1
TRANS311240 num:-1 den: 1

---
PRO37 num:1 den: 1
TRANS35160 num:1 den: 1
TRANS371239 num:-1 den: 1

---
PRO38 num:1 den: 1

---
PRO39 num:1 den: 1

---
PRO41 num:1 den: 1
TRANS13410 num:2 den: 1
TRANS314142 num:-1 den: 1

---
PRO42 num:1 den: 1

---
PRO43 num:1 den: 1
TRANS13410 num:-1 den: 1
TRANS14430 num:1 den: 1

---
TRANS15370 num:1 den: 1
TRANS35160 num:-1 den: 1

---
TRANS23360 num:1 den: 1
TRANS35160 num:-1 den: 1

---
TRANS313738 num:1 den: 1
TRANS35160 num:-1 den: 1

main menu - occurrence counting - server¹²[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - instance¹⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - answer²⁰[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁴[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁵[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)^28:1.((# q)(# p)
 p^31:[|0;+oo|[[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>^44:[|0;1|])
 |
 <make>^45:[|0;1|]
 ]
)

]

PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO30 :0
PRO29 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
TRANS28440 :[|0;+oo|[
PRO44 :[|0;1|]
PRO31 :[|0;+oo|[
PRO-1 :0
TRANS28450 :[|0;1|]
PRO45 :[|0;1|]
PRO28 :1
TRANS273132 :[|0;+oo|[
VAR PRO-1 PRO28 PRO31 PRO44 PRO45 TRANS273132 TRANS28440 TRANS28450 ---
PRO-1 num:-1 den: 1
PRO28 num:1 den: 1

---
PRO31 num:1 den: 1
TRANS273132 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO44 num:1 den: 1
TRANS28450 num:-1 den: 1

---
PRO-1 num:-1 den: 1
PRO45 num:1 den: 1
TRANS28450 num:1 den: 1

main menu - occurrence counting - client²⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance^16:[|0;+oo|[[in¹⁷ k.open^18:[|0;2|] request.(rep)^19:[|0;2|].
 (
 answer^20:[|0;3|][<rep>²¹]
 |
 out^22:[|0;3|] server.open^23:[|0;1|] tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request^33:[|0;1|][<q>^34:[|0;2|]]
 |
 open^35:[|0;1|] instance.tok^36:[|0;1|][token^37:[|0;1|][out³⁸ p.in³⁹ server.0]]
 |
 in^40:[|0;1|] server.duplicate^41:[|0;1|][out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO39 :0
PRO38 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO21 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO37 :[|0;1|]
TRANS23360 :[|0;1|]
PRO23 :[|0;1|]
PRO34 :[|0;2|]
PRO19 :[|0;2|]
TRANS18330 :[|0;2|]
PRO16 :[|0;+oo|[
TRANS163117 :[|0;+oo|[
PRO41 :[|0;1|]
TRANS314142 :[|0;1|]
TRANS35160 :[|0;2|]
PRO36 :[|0;1|]
PRO18 :[|0;2|]
TRANS15250 :[|0;1|]
PRO17 :0
TRANS15240 :[|0;1|]
TRANS15260 :[|0;1|]
TRANS19340 :[|0;3|]
PRO20 :[|0;3|]
PRO22 :[|0;3|]
TRANS123122 :[|0;1|]
TRANS28440 :[|0;2|]
PRO40 :[|0;1|]
PRO35 :[|0;1|]
PRO33 :[|0;1|]
PRO32 :0
TRANS28450 :[|0;2|]
PRO-1 :0
TRANS273132 :1
TRANS313738 :[|0;1|]
TRANS15370 :[|0;1|]
VAR PRO-1 PRO16 PRO17 PRO18 PRO19 PRO20 PRO22 PRO23 PRO32 PRO33 PRO34 PRO35 PRO36 PRO37 PRO40 PRO41 TRANS123122 TRANS15240 TRANS15250 TRANS15260 TRANS15370 TRANS163117 TRANS18330 TRANS19340 TRANS23360 TRANS273132 TRANS28440 TRANS28450 TRANS313738 TRANS314142 TRANS35160 ---
PRO16 num:1 den: 1
TRANS163117 num:-1 den: 1
TRANS23360 num:-1 den: 1
TRANS35160 num:1 den: 1

---
PRO17 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO18 num:1 den: 1
TRANS23360 num:1 den: 1
TRANS28440 num:1 den: 1
TRANS28450 num:1 den: 1
TRANS35160 num:-1 den: 1

---
PRO-1 num:1 den: 1
PRO19 num:1 den: 1
TRANS19340 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO20 num:1 den: 1
TRANS19340 num:-1 den: 1

---
PRO22 num:1 den: 1
TRANS123122 num:1 den: 1
TRANS19340 num:-1 den: 1

---
PRO23 num:1 den: 1
TRANS123122 num:-1 den: 1
TRANS23360 num:1 den: 1

---
PRO32 num:1 den: 1

---
PRO-1 num:-2 den: 1
PRO33 num:1 den: 1
TRANS28440 num:1 den: 1
TRANS28450 num:1 den: 1

---
PRO-1 num:1 den: 1
PRO34 num:1 den: 1
TRANS19340 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO-1 num:-1 den: 1
PRO35 num:1 den: 1
TRANS23360 num:-1 den: 1
TRANS35160 num:1 den: 1

---
PRO36 num:1 den: 1
TRANS23360 num:2 den: 1
TRANS35160 num:-1 den: 1

---
PRO37 num:1 den: 1
TRANS23360 num:-1 den: 1
TRANS313738 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO40 num:1 den: 1
TRANS123122 num:1 den: 1

---
PRO41 num:1 den: 1
TRANS123122 num:-1 den: 1
TRANS314142 num:1 den: 1

---
TRANS15240 num:1 den: 1
TRANS15250 num:1 den: 1
TRANS15260 num:1 den: 1
TRANS15370 num:1 den: 1
TRANS23360 num:1 den: 1
TRANS35160 num:-1 den: 1

---
PRO-1 num:1 den: 1
TRANS18330 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO-1 num:-1 den: 1
TRANS273132 num:1 den: 1

main menu - occurrence counting - p³¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - request³³[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - tok³⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in^39:1 server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO39 :1
TRANS35160 :1
PRO38 :0
TRANS23360 :1
PRO-1 :0
TRANS313738 :1
VAR PRO-1 PRO38 PRO39 TRANS23360 TRANS313738 TRANS35160 ---
PRO38 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO39 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS23360 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS313738 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS35160 num:1 den: 1

main menu - occurrence counting - token³⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.^43:1]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
TRANS314142 :1
PRO-1 :0
PRO42 :0
TRANS311240 :1
PRO43 :1
VAR PRO-1 PRO42 PRO43 TRANS311240 TRANS314142 ---
PRO42 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO43 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS311240 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS314142 num:1 den: 1

main menu - occurrence counting - duplicate⁴¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

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_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - server¹²[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in^17:1 k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
TRANS15250 :[|0;1|]
PRO17 :1
TRANS15240 :[|0;1|]
TRANS15260 :[|0;1|]
TRANS15370 :[|0;1|]
VAR PRO-1 PRO17 TRANS15240 TRANS15250 TRANS15260 TRANS15370 ---
PRO-1 num:-1 den: 1
PRO17 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS15240 num:1 den: 1
TRANS15250 num:1 den: 1
TRANS15260 num:1 den: 1
TRANS15370 num:1 den: 1

main menu - occurrence counting - instance¹⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - answer²⁰[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁴[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁵[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - token²⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - client²⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance^16:[|0;+oo|[[in¹⁷ k.open^18:[|0;2|] request.(rep)^19:[|0;2|].
 (
 answer^20:[|0;3|][<rep>²¹]
 |
 out^22:[|0;3|] server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request^33:[|0;1|][<q>^34:[|0;2|]]
 |
 open^35:[|0;1|] instance.tok^36:[|0;1|][token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate^41:[|0;1|][out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO39 :0
PRO38 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO21 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
TRANS313738 :0
TRANS23360 :0
PRO37 :0
TRANS123122 :0
PRO23 :0
PRO34 :[|0;2|]
PRO19 :[|0;2|]
TRANS18330 :[|0;2|]
PRO16 :[|0;+oo|[
TRANS163117 :[|0;+oo|[
TRANS28440 :[|0;2|]
TRANS273132 :1
PRO-1 :0
TRANS28450 :[|0;2|]
PRO32 :0
PRO33 :[|0;1|]
PRO35 :[|0;1|]
PRO40 :0
PRO41 :[|0;1|]
TRANS314142 :[|0;1|]
TRANS35160 :[|0;1|]
PRO36 :[|0;1|]
PRO18 :[|0;2|]
TRANS15250 :[|0;1|]
PRO17 :0
TRANS15240 :[|0;1|]
TRANS15260 :[|0;1|]
TRANS19340 :[|0;3|]
PRO20 :[|0;3|]
PRO22 :[|0;3|]
TRANS15370 :[|0;1|]
VAR PRO-1 PRO16 PRO17 PRO18 PRO19 PRO20 PRO22 PRO23 PRO32 PRO33 PRO34 PRO35 PRO36 PRO37 PRO40 PRO41 TRANS123122 TRANS15240 TRANS15250 TRANS15260 TRANS15370 TRANS163117 TRANS18330 TRANS19340 TRANS23360 TRANS273132 TRANS28440 TRANS28450 TRANS313738 TRANS314142 TRANS35160 ---
PRO16 num:1 den: 1
TRANS163117 num:-1 den: 1
TRANS23360 num:-1 den: 1
TRANS35160 num:1 den: 1

---
PRO17 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO18 num:1 den: 1
TRANS23360 num:1 den: 1
TRANS28440 num:1 den: 1
TRANS28450 num:1 den: 1
TRANS35160 num:-1 den: 1

---
PRO-1 num:1 den: 1
PRO19 num:1 den: 1
TRANS19340 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO20 num:1 den: 1
TRANS19340 num:-1 den: 1

---
PRO22 num:1 den: 1
TRANS123122 num:1 den: 1
TRANS19340 num:-1 den: 1

---
PRO23 num:1 den: 1
TRANS123122 num:-1 den: 1
TRANS23360 num:1 den: 1

---
PRO32 num:1 den: 1

---
PRO-1 num:-2 den: 1
PRO33 num:1 den: 1
TRANS28440 num:1 den: 1
TRANS28450 num:1 den: 1

---
PRO-1 num:1 den: 1
PRO34 num:1 den: 1
TRANS19340 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO-1 num:-1 den: 1
PRO35 num:1 den: 1
TRANS23360 num:-1 den: 1
TRANS35160 num:1 den: 1

---
PRO36 num:1 den: 1
TRANS23360 num:2 den: 1
TRANS35160 num:-1 den: 1

---
PRO37 num:1 den: 1
TRANS23360 num:-1 den: 1
TRANS313738 num:1 den: 1

---
PRO40 num:1 den: 1
TRANS123122 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO41 num:1 den: 1
TRANS123122 num:-1 den: 1
TRANS314142 num:1 den: 1

---
TRANS15240 num:1 den: 1
TRANS15250 num:1 den: 1
TRANS15260 num:1 den: 1
TRANS15370 num:1 den: 1
TRANS23360 num:1 den: 1
TRANS35160 num:-1 den: 1

---
PRO-1 num:1 den: 1
TRANS18330 num:1 den: 1
TRANS28440 num:-1 den: 1
TRANS28450 num:-1 den: 1

---
PRO-1 num:-1 den: 1
TRANS273132 num:1 den: 1

main menu - occurrence counting - p³¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - request³³[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
VAR

main menu - occurrence counting - tok³⁶[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.⁴³]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO43 :0
PRO42 :0
PRO41 :0
PRO40 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO39 :0
TRANS35160 :1
PRO38 :0
TRANS23360 :1
PRO-1 :0
TRANS313738 :1
VAR PRO-1 PRO38 PRO39 TRANS23360 TRANS313738 TRANS35160 ---
PRO38 num:1 den: 1

---
PRO39 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS23360 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS313738 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS35160 num:1 den: 1

main menu - occurrence counting - token³⁷[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.

(#top_level)
top_level²[
(# request)(# make)(# server)(# duplicate)(# instance)(# answer)(# client)(# token)(# tok)
(
server¹²[
 !open¹³ duplicate.0
 | !(k)¹⁴.open¹⁵ token.
 instance¹⁶[in¹⁷ k.open¹⁸ request.(rep)¹⁹.
 (
 answer²⁰[<rep>²¹]
 |
 out²² server.open²³ tok.0
 )
 ]
 |
 token²⁴[0] | token²⁵[0] | token²⁶[0]
 ]
|
client²⁷[!(x)²⁸.((# q)(# p)
 p³¹[
 out³² client.0
 |
 request³³[<q>³⁴]
 |
 open³⁵ instance.tok³⁶[token³⁷[out³⁸ p.in³⁹ server.0]]
 |
 in⁴⁰ server.duplicate⁴¹[out⁴² p.^43:1]
 ]

 |
 <make>⁴⁴)
 |
 <make>⁴⁵
 ]
)

]

PRO45 :0
PRO44 :0
PRO41 :0
PRO40 :0
PRO39 :0
PRO38 :0
PRO37 :0
PRO36 :0
PRO35 :0
PRO34 :0
PRO33 :0
PRO32 :0
PRO31 :0
PRO30 :0
PRO29 :0
PRO28 :0
PRO27 :0
PRO26 :0
PRO25 :0
PRO24 :0
PRO23 :0
PRO22 :0
PRO21 :0
PRO20 :0
PRO19 :0
PRO18 :0
PRO17 :0
PRO16 :0
PRO15 :0
PRO14 :0
PRO13 :0
PRO12 :0
PRO11 :0
PRO10 :0
PRO9 :0
PRO8 :0
PRO7 :0
PRO6 :0
PRO5 :0
PRO4 :0
PRO3 :0
PRO43 :1
PRO42 :0
TRANS311240 :1
PRO-1 :0
TRANS314142 :1
VAR PRO-1 PRO42 PRO43 TRANS311240 TRANS314142 ---
PRO42 num:1 den: 1

---
PRO-1 num:-1 den: 1
PRO43 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS311240 num:1 den: 1

---
PRO-1 num:-1 den: 1
TRANS314142 num:1 den: 1

main menu - occurrence counting - duplicate⁴¹[

Amb-s.a. Version 1.02, last Modified Fri November 19 2004
Amb-s.a. is an experimental prototype for academic use only.