KLAIM: a kernel language for agents interaction and mobility 论文

1998IEEE Transactions on Software Engineering引用 509
DOI
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

KLAIM: a kernel language for agents interaction and mobility · 作者

R

Rosario Pugliese

G

Gian-Luigi Ferrari

R

Rocco De Nicola