thinker
active
thinker:amir-pnueliAmir Pnueli
Co-author with Francez on program semantics using time, cited.
Authored
0
Introduces
0
Studies
1
Affiliations
0
Cited by
0
More papers — OpenAlex / S2
Studies (1)
Co-authors (1)
- Nissim Francez1 shared
Other inbound relations (1)
- mentionsElephant 2000: A Programming Language Based on Speech Acts(paper)
Recent mentions (1)
- papers-typed2021-10-16_Stefan-Lesser_elephant.pdf_26c323.md