A Simplification of a Conversation Design Scheme Using Petri Nets
IEEE Transactions on Software Engineering
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
IEEE Transactions on Software Engineering
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Hi-index | 0.00 |