thinker
active
thinker:nissim-francezNissim Francez
Researcher who used explicit time for program semantics, work referenced.
Authored
0
Introduces
0
Studies
1
Affiliations
0
Cited by
0
More papers — OpenAlex / S2
Studies (1)
Co-authors (1)
- Amir Pnueli1 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