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.