Deciding true concurrency equivalences on safe, finite nets

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979

悦朗 守屋 · 情報処理 · 1980 · 1.8K citations

Computing, Computer Science, Theory Of Computation +7

A Theory of Communicating Sequential Processes

Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text

Engineering, Computer Science, Mathematics +10