Nordic Journal of Computing
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Multiport interaction nets and concurrency
CONCUR 2005 - Concurrency Theory
Concurrent nets: a study of prefixing in process calculi
Theoretical Computer Science - Expressiveness in concurrency
A Chart Semantics for the Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and Verifying Mobile Systems Using π -Graphs
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Small specifications for tree update
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |