Efficient execution of programs with static semantics
ACM SIGPLAN Notices
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
How much is worth to remember? a taxonomy based on petri nets unfoldings
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Event structures for the collective tokens philosophy of inhibitor nets
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Hi-index | 0.00 |