SILCS { Speci cation In Logic of Concurrent Systems

@inproceedings{Page1991SILCSS,
  title={SILCS \{ Speci cation In Logic of Concurrent Systems},
  author={D. Gilbert Silcs Page},
  year={1991}
}
This paper introduces the constructive logic speciication language SILCS (Speciication In Logic of Concurrent Systems). The operational semantics of SILCS encapsulates the computational rule required for the correct interpretation of`programs' derived from Horn clause characterisations of the behaviour of concurrent systems. SILCS is expressive enough to describe many of the behaviours associated with concurrent systems including concurrency, parallelism, suspension, deadlock and sequentiality… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Open Systems Interconnection, ESTELLE, A Formal Description Technique Based on an Extended State Transition Model

  • ISO. ISO IS 9074 Information Processing Systems
  • 1989

Similar Papers

Loading similar papers…