Axiomatising Asynchronous Process Calculi (abstract).

Matthew Hennessy

Published in: FCT (1999)

Keyphrases

real time
temporal reasoning
databases
information retrieval
website
high level
description logics
state machines