Traces Semantics for Actor Systems

@inproceedings{Vasconcelos1991TracesSF,
  title={Traces Semantics for Actor Systems},
  author={Vasco Thudichum Vasconcelos and Mario Tokoro},
  booktitle={Object-Based Concurrent Computing},
  year={1991}
}
The theory of traces is used to describe the behavior of actor systems. The semantics is built from two simple concepts: a set of events representing the reception of messages by objects, and a binary symmetric and irreflexive relation on events—independence—representing permissible concurrency. Causality, the dual notion of concurrency, is expressed by the dependence relation—the complement of independence. A particular execution of a system is described by a trace: a labeled acyclic graph… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Laws for Communicating Parallel Processes

  • IFIP Congress
  • 1977
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Three Equivalent Semantics for CCS

  • Semantics of Systems of Concurrent Processes
  • 1990
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Communication and concurrency

Robin Milner
  • C.A.R. Hoare Series Editor, Prentice-Hall Int.,
  • 1989
VIEW 2 EXCERPTS

Theory of Traces

VIEW 3 EXCERPTS