Proving Finiteness of CCS Processes by Non-Standard Semantics.

Nicoletta De Francesco Paola Inverardi

Published in: Acta Informatica (1994)

Keyphrases

formal semantics
information retrieval
information systems
probability distribution
logic programming
process model
default reasoning
stochastic processes
specification language