A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
MARRELLA and the Verification of an Embedded System
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Comparing Software Architectures for Coordination Languages
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Journal of Algebraic Combinatorics: An International Journal
Polynomials, fragments of temporal logic and the variety DA over traces
Theoretical Computer Science
Effective random testing of concurrent programs
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Finitary Compositions of Two-way Finite-State Transductions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science
Typed event structures and the linear π-calculus
Theoretical Computer Science
Concurrent automata vs. asynchronous systems
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Finitary Compositions of Two-way Finite-State Transductions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |