Reasoning about nondeterministic and concurrent actions: A process algebra approach

Artificial Intelligence - Tập 107 - Trang 63-98 - 1999
Xiao Jun Chen1, Giuseppe De Giacomo2
1School of Computer Science, University of Windsor, 401 Sunset Avenue, Windsor, Ontario, Canada N9B 3S7
2Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Via Salaria 113, 00198 Roma, Italy

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Artificial Intelligence

Tập 107

63-98

Thông tin tác giả