Algebra of Parameterised Graphs

  title={Algebra of Parameterised Graphs},
  author={A. Mokhov and V. Khomenko and A. Alekseyev and A. Yakovlev},
  • A. Mokhov, V. Khomenko, +1 author A. Yakovlev
  • Published in ACSD 2012
  • Computer Science
  • One of the difficulties in designing modern hardware systems is the necessity to comprehend and to deal with a very large number of system configurations, operational modes, and behavioural scenarios. It is often infeasible to consider and specify each individual mode explicitly, and one needs methodologies and tools to exploit similarities between the individual modes and work with groups of modes rather than individual ones. The modes and groups of modes have to be managed in a compositional… CONTINUE READING
    17 Citations

    Figures, Tables, and Topics from this paper

    Workcraft : Ten Years Later
    • 12
    • PDF
    A survey of theory and practice in compositional design of asynchronous circuits
    • 2
    • PDF
    Compositional design of asynchronous circuits from behavioural concepts
    • 8
    Plato: A Tool for Behavioural Specification of Asynchronous Circuits
    • J. Beaumont
    • Computer Science
    • 2017 17th International Conference on Application of Concurrency to System Design (ACSD)
    • 2017
    • 1
    Order Graphs and Cross-Layer Parametric Significance-Driven Modelling
    • A. Rafiev, F. Xia, +4 authors A. Yakovlev
    • Computer Science
    • 2015 15th International Conference on Application of Concurrency to System Design
    • 2015
    • 8
    • PDF
    1 Process Windows
    • PDF
    Process Windows
    • 2
    • PDF
    Transactions on Petri Nets and Other Models of Concurrency XI
    • 3
    • Highly Influenced
    High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds
    • 4
    • PDF


    Algebra of Parametrised Graphs
    • 5
    • PDF
    Conditional Partial Order Graphs: Model, Synthesis, and Application
    • 59
    • PDF
    Encoding of processor instruction sets with explicit concurrency control
    • 22
    Petri Net Algebra
    • 140
    An inductive view of graph transformation
    • 81
    Graph expressions and graph rewritings
    • 93
    A Calculus of Mobile Processes, Part I
    • 336
    Towards power-elastic systems through concurrency management
    • 16
    • PDF
    Composition of Automata
    • 23
    Design of Processors with Reconfigurable Microarchitecture
    • 18
    • PDF