Causality for debugging mobile agents

DOI10.1007/s002360050164zbMath0932.68014OpenAlexW2048870621MaRDI QIDQ1806172

Pierpaolo Degano, Bent Thomsen, Lone Leth, Corrado Priami

Publication date: 1 November 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050164

zbMATH Keywords

structural operational semanticsmobile agents

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (3)

From Safety Critical Java Programs to Timed Process Models ⋮ Language-based performance prediction for distributed and mobile systems ⋮ Primitives for authentication in process algebras.

This page was built for publication: Causality for debugging mobile agents