Rosvelter João Coelho da Costa

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

3 Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A true concurrency semantics for LOTOS. FORTE 1992: 347-362

2 Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A Causality-based Semantics for CCS. NAPAW 1992: 200-215

1991

1 Jean-Pierre Courtiat, Rosvelter João Coelho da Costa: A LOTOS Based Calculus with True Concurrency Semantics. FORTE 1991: 559-574

1992
3		Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A true concurrency semantics for LOTOS. FORTE 1992: 347-362
2		Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A Causality-based Semantics for CCS. NAPAW 1992: 200-215
1991
1		Jean-Pierre Courtiat, Rosvelter João Coelho da Costa: A LOTOS Based Calculus with True Concurrency Semantics. FORTE 1991: 559-574

Coauthor Index

1 Jean-Pierre Courtiat [1] [2] [3]