In: Proceedings of the Computer Networking Symposium, pages 192-200. Washington, DC: IEEE Comput. Soc. Press, 1988.
Abstract: The author presents a synchronous token-based communicating state (STOCS) model for specification and analysis of concurrent systems. The STOCS model attempts to combine algebraic and net-theoretic approaches for the study of concurrent systems. It shares the notion of tokens, transitions and reachability with the net theory and the notions of processes, interactions and traces with the algebraic theory of concurrent systems.