Skip to content

A technique for distributed systems specification.

Jos A. Troyano, Jess Torres, Miguel Toro

VenueCPDP
Year1995
ProceedingsPDP

Browse the full PDP paper archive.