Travelled to:1 × Germany
1 × USA
Collaborated with:∅ M.W.Mislove L.S.Moss
Talks about:powerdomain (1) without (1) concurr (1) semant (1) obtain (1) point (1) ideal (1) found (1) well (1) set (1)
Person: Frank J. Oles
DBLP: Oles:Frank_J=
Contributed to:
1989
1987Wrote 2 papers:
- LICS-1989-MisloveMO #fixpoint #set
- Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.
- POPL-1987-Oles #concurrent #semantics
- Semantics for Concurrency without Powerdomains (FJO), pp. 211–222.