Mark, a reasoning kit for mobility

DOI10.1023/A:1014530313153zbMATH Open1034.68600MaRDI QIDQ1857293FDOQ1857293

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)

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

zbMATH Keywords

formal methodstheorem provingmobile computing

Mathematics Subject Classification ID

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

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)