Synthesis of concurrent systems with many similar processes Article

Attie, PC, Emerson, EA. (1998). Synthesis of concurrent systems with many similar processes . ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 20(1), 10.1145/271510.271519



cited authors

  • Attie, PC; Emerson, EA

publication date

  • January 1998

author keyword

category

Digital Object Identifier (DOI)

volume

  • 20

issue

  • 1

research area