Rosvelter João Coelho da Costa

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
A true concurrency semantics for LOTOS. FORTE (1992)
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
A Causality-based Semantics for CCS. NAPAW (1992)
Jean-Pierre Courtiat, Rosvelter João Coelho da Costa
A LOTOS Based Calculus with True Concurrency Semantics. FORTE (1991)