Bookmark Saya

Semantic Scholar Open Access 1994 2294 sitasi

The temporal logic of actions

L. Lamport
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

L

L. Lamport

Format Sitasi

APA MLA BibTeX
Lamport, L. (1994). The temporal logic of actions. https://doi.org/10.1145/177492.177726

Akses Cepat

Lihat di Sumber doi.org/10.1145/177492.177726
Informasi Jurnal
Tahun Terbit
1994
Bahasa
en
Total Sitasi
2294×
Sumber Database
Semantic Scholar
DOI
10.1145/177492.177726
Akses
Open Access ✓