A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software agents
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
Proceedings of the 21st international conference on Software engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Object-Z specification language
The Object-Z specification language
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Locality Based Linda: Programming with Explicit Localities
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Analyzing Mobile Code Languages
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A formal framework for modelling and analysing mobile systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
Debugging Mobile Agent Systems
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.00 |
Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.