Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Direct and dual laws for automata with multiplicities
Theoretical Computer Science
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and coalgebraic methods in the mathematics of program construction
Higher dimensional automata revisited
Mathematical Structures in Computer Science
Sheaves, Objects, and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstraction for concurrent objects
Theoretical Computer Science
| Hi-index | 0.00 |