A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher dimensional automata revisited
Mathematical Structures in Computer Science
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
Making Petri Nets Safe and Free of Internal Transitions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Graphical models of separation logic
Information Processing Letters
Abstraction for concurrent objects
Theoretical Computer Science
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Making Petri Nets Safe and Free of Internal Transitions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Hi-index | 0.00 |