On the Decidability of Fragments of the Asynchronous pi-Calculus.

Roberto M. Amadio Charles Meyssonnier

Published in: EXPRESS (2001)

Keyphrases

type checking
description logics
computer algebra
asynchronous communication
computational properties
data types
query answering
discussion forums
online discussion
asynchronous circuits
automated deduction