A pi-calculus Process Semantics of Concurrent Idealised ALGOL.

Christine Röckl Davide Sangiorgi

Published in: FoSSaCS (1999)

Keyphrases

programming language
artificial intelligence
conceptual model
formal language