<None yet>
João M. Fernandes, António M. Pina and Alberto J. Proença."Concurrent Execution of Petri Nets based on Agents." summary
A. Attieh, M.C. Brady, W.J. Knottenbelt, P.S. Kritizinger. "Functional and Temporal Analysis of Concurrent Systems." summary