Rosvelter João Coelho da Costa

According to our database¹, Rosvelter João Coelho da Costa authored at least 3 papers between 1991 and 1992.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1992

A Causality-based Semantics for CCS.

[BibT_eX]

[DOI]

Proceedings of the NAPAW 92, 1992

A true concurrency semantics for LOTOS.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1992

1991

A LOTOS Based Calculus with True Concurrency Semantics.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1991