Causality for debugging mobile agents

DOI10.1007/S002360050164MaRDI QIDQ1806172zbMATH OpenOpenAlexFDO

Authors Pierpaolo Degano, Corrado Priami, Lone Leth, B. Thomsen

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

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

Recommendations

• A calculus of mobile agents
• scientific article; zbMATH DE number 1696892
• scientific article; zbMATH DE number 2013343
• scientific article; zbMATH DE number 2087391
• scientific article; zbMATH DE number 1955863

Cited in

(3)

• Primitives for authentication in process algebras.
• Language-based performance prediction for distributed and mobile systems
• From safety critical Java programs to timed process models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1806172)