Javier Oliver

Structural and dynamic changes in concurrent systems: reconfigurable Petri nets

Marisa Llorens, Javier Oliver · IEEE Transactions on Computers · 2004 · 96 citations

Computing, Computer Engineering, Computer Science +14

Operational semantics for declarative multi-paradigm languages

Elvira Albert, Michael Hanus, Frank Huch et al. · Journal of Symbolic Computation · 2005 · 94 citations

Computing, Computer Science, Natural Language Processing +12

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems

Éric Badouel, Javier Oliver · OpenGrey (Institut de l'Information Scientifique et Technique) · 1998 · 43 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Dynamic Slicing Techniques for Petri Nets

Marisa Llorens, Javier Oliver, Josep Silva et al. · Electronic Notes in Theoretical Computer Science · 2008 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +12

Modeling Concurrent Systems: Reconfigurable Nets.

Éric Badouel, Marisa Llorens, Javier Oliver · 2003 · 20 citations

Engineering, Computer Engineering, Computer Science +13