A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
MAXIMAL CHAINS AND ANTICHAINS IN STRONGLY NOETHERIAN SEMIORDERS
Fundamenta Informaticae
Hi-index | 0.00 |