Rosvelter João Coelho da Costa

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
A Causality-based Semantics for CCS.
Proceedings of the NAPAW 92, 1992

A true concurrency semantics for LOTOS.
Proceedings of the Formal Description Techniques, 1992

1991
A LOTOS Based Calculus with True Concurrency Semantics.
Proceedings of the Formal Description Techniques, 1991


  Loading...