Action Systems with Synchronous Communication

  title={Action Systems with Synchronous Communication},
  author={Ralph-Johan Back and Kaisa Sere},
The action system framework for modelling parallel and reactive programs is extended by adding procedure declarations to action systems. This permits remote procedure calls to be modelled within the framework. Synchronous message passing communication, being a special case of remote procedure calls, can therefore also be handled within this framework. This extension is done almost at no extra cost in the logical treatment of programs. The renement calculus within which the renement of action… CONTINUE READING

From This Paper

Topics from this paper.
27 Citations
14 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 14 references

Re nement and decomposition of valuepassing action systems

  • M. Butler.
  • 1993

The existence of re nement mappings

  • R. J. R. Back.
  • Proc . of the 3 rd Annual IEEE Symp . on Logic In…
  • 1988

The speci cation statement

  • J. M. Morris.
  • ACM Transactions on Programming Languages and…
  • 1988

Similar Papers

Loading similar papers…