Article

Automatic State Capture of Self-Migrating Computations in MESSENGERS

Authors:

Christian Wicke,

Lubomir Bic,

Michael B. Dillencourt,

Munehiro FukudaAuthors Info & Claims

MA '98: Proceedings of the Second International Workshop on Mobile Agents

Pages 68 - 79

Published: 01 September 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Pan LLai MDillencourt MBic L(2005)Mobile pipelinesProceedings of the 12th international conference on High Performance Computing10.1007/11602569_24(201-212)Online publication date: 18-Dec-2005
https://dl.acm.org/doi/10.1007/11602569_24
Bettini LNicola R(2001)Translating Strong Mobility into Weak MobilityProceedings of the 5th International Conference on Mobile Agents10.5555/647630.732587(182-197)Online publication date: 2-Dec-2001
https://dl.acm.org/doi/10.5555/647630.732587

Recommendations

Concurrent nested object computations
BSP abstract state machines capture bulk synchronous parallel computations
Abstract
The bulk synchronous parallel (BSP) bridging model is a model for concurrent computations with alternating computation and communication phases between programs running on different processors. In a computation phase the programs ...
Highlights
- Language-independent axiomatisation of the BSP bridging model.
- Proof that only ...
Automatic generation of state invariants from requirements specifications

Automatic generation of state invariants, properties that hold in every reachable state of a state machine model, can be valuable in software development. Not only can such invariants be presented to system users for validation, in addition, they can be ...

Comments

Information & Contributors

Information

Published In

MA '98: Proceedings of the Second International Workshop on Mobile Agents

September 1998

282 pages

ISBN:354064959X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 September 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pan LLai MDillencourt MBic L(2005)Mobile pipelinesProceedings of the 12th international conference on High Performance Computing10.1007/11602569_24(201-212)Online publication date: 18-Dec-2005
https://dl.acm.org/doi/10.1007/11602569_24
Bettini LNicola R(2001)Translating Strong Mobility into Weak MobilityProceedings of the 5th International Conference on Mobile Agents10.5555/647630.732587(182-197)Online publication date: 2-Dec-2001
https://dl.acm.org/doi/10.5555/647630.732587

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Concurrent nested object computations

BSP abstract state machines capture bulk synchronous parallel computations

Automatic generation of state invariants from requirements specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations