Mark, a reasoning kit for mobility

DOI10.1023/A:1014530313153MaRDI QIDQ1857293zbMATH OpenFDO

Authors Carlo Montangero, Laura Semini, S. Semprini, Gian Luigi Ferrari

Publication date 17 February 2003

Published in Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

formal methodstheorem provingmobile computing

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1231618
• Probabilistic mobile ambients
• A notation and logic for mobile computing
• scientific article; zbMATH DE number 2087391
• scientific article; zbMATH DE number 1927568

Cited in

(1)

• Multiple-Labelled Transition Systems for nominal calculi and their logics

This page was built for publication: Mark, a reasoning kit for mobility

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