An overview of Mobile Object-Z

DOI10.1007/3-540-36103-0_17MaRDI QIDQ4412489zbMATH OpenFDO

Authors Kenji Taguchi, Jin-Song Dong

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950144.htm

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2161773
• State-bases approaches: from Z to Object-Z
• scientific article; zbMATH DE number 1409638
• scientific article; zbMATH DE number 1231658
• Mob: A scripting language for mobile agents based on a process calculus

Cited in

(1)

• scientific article; zbMATH DE number 2161773 (Why is no real title available?)

This page was built for publication: An overview of Mobile Object-Z

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