supported publications or other works
- Causality in Structured Occurrence Nets Conferences
- Localities in systems with a/sync communication Journal Articles
- Membrane Systems with Qualitative Evolution Rules Journal Articles
- Mutex Causality in Processes and Traces of General Elementary Nets Journal Articles
- Petri Nets with Localities and Testing Conferences
- Regions of Petri nets with a/sync connections Journal Articles
- Step coverability algorithms for communicating systems Journal Articles
- Step semantics of boolean nets Journal Articles
- Synthesis Problem for Petri Nets with Localities Conferences
- The Mutex Paradigm of Concurrency Conferences
- Timed Migration and Interaction with Access Permissions Conferences
- Timed Mobility in process algebra and Petri nets Journal Articles