PA,Process Algebra,process algebras,process algebraic,processes algebraic,process algebrae,processes algebraically,processed algebraically,processing

Process Algebra - PA
Publications: 3,161| Citation Count: 32,391
Stemming Variations: process algebras, process algebraic, processes algebraic, process algebrae, processes algebraically
Cumulative Annual
    • Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems...

    H. Brinksmaet al. Behavioural Hybrid Process Calculus

    • Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems...

    Ed Brinksmaet al. A process-algebraic approach to hybrid systems

    • Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems...

    Ed Brinksmaet al. draft

    • Process algebra is the study of distributed or parallel syst ems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete event, reactive systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with their environment, and for any dynamic system in general...

    J. C. M. Baetenet al. Process algebra for dynamic system modeling

    • Process algebra is the study of distributed or parallel syst ems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete-event systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with the ir environment, and for any dynamic system in general...

    Jos C. M. Baetenet al. Process Algebra

Sort by: