Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.

Published in: ICALP (1998)

Keyphrases

expert systems
provably correct
distributed systems
intelligent systems
complex systems
mechanical systems
management system
control strategies
formal methods
real time
information systems
control system
computer systems
optimal control
autonomous systems
natural deduction