Alejandro Rodríguez

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Coloured Petri Nets

Interprocess Communication

Formal Verification

Domain Specific Languages

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets/ACSD

MoDELS (Companion)

J. Log. Algebraic Methods Program.

Publications