VHDL-based communication and synchronization synthesis
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Beyond VHDL: textual formalisms, visual techniques, or both?
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
DECOR — tightly integrated Design Control and Observation
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility
Programming and Computing Software
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
Hierarchical Cause-Effect Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Reachability in Petri Nets with Inhibitor Arcs
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards self-coordinating ubiquitous computing environments
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Hi-index | 0.00 |