Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 5.23 |