DIPARTIMENTO   DI   INFORMATICA
UniversitÓ di Torino

Type Inference for M3 Mobile Ambients

Syntax of raw (i.e., untyped) terms

term ::= message
process
message ::= simplemessage
simplemessage . message
simplemessage ::= identifier
op identifier
op ::= in
out
to
process ::= 0
! process
identifier[process]
simplemessage . process
<message> process
(nu identifier) process
(identifier) process
process | process

The operator | of parallel composition has the lowest precedence.
As usual, precedence rules may be overridden by the insertion of parentheses.

Here follows the explicit grammar used by the top-down Prolog parser to implement the above syntax and precedence rules.

Grammar used by the top-down Prolog parser

term ::= message
process
message ::= simplemessage
simplemessage . message
simplemessage ::= identifier
op identifier
op ::= in
out
to
process ::= seqprocess
parprocess
parprocess ::= seqprocess | process
seqprocess ::= 0
! seqprocess
identifier[process]
simplemessage . seqprocess
<message> seqprocess
(nu identifier) seqprocess
(identifier) seqprocess
(process)


[Back]

Comments to: damiani[at]di[dot]unito[dot]it