An Event Based SOS for a Language with Re nement

@inproceedings{Rensink1995AnEB,
  title={An Event Based SOS for a Language with Re nement},
  author={Arend Rensink},
  year={1995}
}
The notion of action re nement has been studied intensively in the past few years It is usually introduced in the form of an operator in a process algebraic language for which a denotational semantics in a suitable model is then given In this paper we complement this approach by de ning a corresponding operational semantics for re nement in the form of de rivation rules for a transition relation Because of the well known fact that ordinary transition systems are not expressive enough to capture… CONTINUE READING

From This Paper

Topics from this paper.

References

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

Relationships between models for concurrency. I n J

M Nielsen, V Sassone, G Winskel
Lecture Notes in Computer Science • 1994

Models and Methods for Action Reenement

A Rensink
Models and Methods for Action Reenement • 1993

An operational deenition of action reenement

P Degano, R Gorrieri
An operational deenition of action reenement • 1992

Similar Papers

Loading similar papers…