Semantic Scholar
Open Access
1979
869 sitasi
The Temporal Semantics of Concurrent Programs
A. Pnueli
Topik & Kata Kunci
Penulis (1)
A
A. Pnueli
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 1979
- Bahasa
- en
- Total Sitasi
- 869×
- Sumber Database
- Semantic Scholar
- DOI
- 10.1016/0304-3975(81)90110-9
- Akses
- Open Access ✓