Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Hi-index | 0.00 |