A brief history of process algebra (Q1781995)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A brief history of process algebra
scientific article

    Statements

    title
    A brief history of process algebra (English)
    0 references
    publication date
    10 June 2005
    0 references
    zbMATH Keywords
    Process algebra
    0 references
    History
    0 references
    author
    Jos C. M. Baeten
    0 references
    describes a project that uses
    Uppaal
    0 references
    CADP
    0 references
    Concurrency Workbench
    0 references
    cites work
    Q3395976
    0 references
    Q2760240
    0 references
    Q2769588
    0 references
    Process Algebra
    0 references
    Q4746776
    0 references
    Q3341873
    0 references
    Q5186720
    0 references
    Q3028334
    0 references
    Q2746874
    0 references
    Q2760246
    0 references
    Mobile ambients
    0 references
    Hybrid process algebra
    0 references
    Q4270063
    0 references
    Q5584402
    0 references
    Q4299862
    0 references
    Q2760238
    0 references
    Q2760254
    0 references
    Q3997501
    0 references
    Q3883467
    0 references
    Q4845486
    0 references
    Q3777424
    0 references
    Uppaal in a nutshell
    0 references
    Q5534234
    0 references
    Q5601829
    0 references
    Q3940847
    0 references
    Q4198049
    0 references
    Q3992568
    0 references
    Q4248252
    0 references
    Q4791828
    0 references
    Q3907077
    0 references
    Q3664405
    0 references
    Q4791265
    0 references
    Q5685626
    0 references
    Q4417945
    0 references

    Identifiers

    zbMATH DE Number
    2174874
    0 references
    OpenAlex ID
    W2101206446
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1781995&oldid=34402263"
    Powered by MediaWiki