Showing 1 - 2 results of 2 for search '"Formal definitions and theory."', query time: 0.02s Refine Results
  1. 1

    Register-machine based processes. by Bergstra, Jan A.

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  2. 2

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article

    Specification and design of component-based coordination systems by integrating coordination patterns.

Search Tools: