Travelled to:1 × United Kingdom
Collaborated with:K.J.Compton
Talks about:concurr (1) theori (1) model (1)
Person: Rosario Uceda-Sosa
DBLP: Uceda-Sosa:Rosario
Contributed to:
Wrote 1 papers:
- CSL-1993-ComptonU #concurrent
- The Model Theory of Concurrency (KJC, RUS), pp. 78–90.












