Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing the BKE-security Protocol with μCRL
Electronic Notes in Theoretical Computer Science (ENTCS)
An Interface Group for Process Components
Fundamenta Informaticae
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
Hi-index | 0.00 |