José Meseguer is Professor of Computer Science at UIUC and leads the Formal Methods and Declarative Languages Laboratory there. He has worked on concurrency and categorical models corresponding to Petri nets.
Last revised on July 26, 2023 at 14:52:08. See the history of this page for a list of all contributions to it.