Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A unified signal transition graph model for asynchronous control circuit synthesis
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Properties of Conflict-Free and Persistent Petri Nets
Journal of the ACM (JACM)
Formal verification of parallel programs
Communications of the ACM
Complete State Encoding Based on the Theory of Regions
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Some Limitations to Speed-Independence in Asynchronous Circuits
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits
ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems
Deadlock analysis in the design of data-flow circuits
DAC '84 Proceedings of the 21st Design Automation Conference
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Decomposition Theorems for Bounded Persistent Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Note on Persistent Petri Nets
Concurrency, Graphs and Models
On Yen's Path Logic for Petri Nets
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
Separability in persistent petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Separability in Persistent Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Step persistence in the design of GALS systems
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.02 |