A LOTOS Based Calculus with True Concurrency Semantics.

Jean-Pierre Courtiat, Rosvelter Joo Coelho da Costa

Browse the full FORTE paper archive.