Process Algebra and Model Checking (Q3176390): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(6 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: LTSmin / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: FDR3 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Easychair / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PAT / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_32 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2804506387 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real time process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axiomatizing probabilistic processes: ACP with generative probabilities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra of communicating processes with abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2746874 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Theory of Communicating Sequential Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3680258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3336675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037401 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing equivalence as a bisimulation equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic tools for verifying concurrent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4942029 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstraction and Abstraction Refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching time and abstraction in bisimulation semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3191614 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic laws for nondeterminism and concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4252730 / rank
 
Normal rank
Property / cites work
 
Property / cites work: What good are digital clocks? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2848418 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the equivalence, containment, and covering problems for the regular and context-free languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: CCS expressions, finite state processes, and three problems of equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic and prioritized models of timed CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static Livelock Analysis in CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three Partition Refinement Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: SAT-solving in CSP trace refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial-order reduction in the weak modal mu-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A timed model for communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unbounded Non-determinism in CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank
 
Normal rank
Property / cites work
 
Property / cites work: CSP is Expressive Enough for π / rank
 
Normal rank
Property / cites work
 
Property / cites work: Understanding concurrent systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Slow Abstraction via Priority / rank
 
Normal rank
Property / cites work
 
Property / cites work: Checking noninterference in timed CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2734510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4036565 / rank
 
Normal rank

Latest revision as of 03:57, 16 July 2024

scientific article
Language Label Description Also known as
English
Process Algebra and Model Checking
scientific article

    Statements

    title
    Process Algebra and Model Checking (English)
    0 references
    author
    Rance Cleaveland
    0 references
    A. W. Roscoe
    0 references
    Scott A. Smolka
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    Casper
    0 references
    LTSmin
    0 references
    FDR3
    0 references
    Easychair
    0 references
    PAT
    0 references
    cites work
    Process Algebra
    0 references
    Q2746874
    0 references
    Q3680258
    0 references
    Q3336675
    0 references
    Q4037401
    0 references
    Q4942029
    0 references
    Q3191614
    0 references
    Q4252730
    0 references
    Q3777424
    0 references
    Q2848418
    0 references
    Q3992568
    0 references
    Q2754127
    0 references
    Q2734510
    0 references
    Q4036565
    0 references

    Identifiers

    zbMATH DE Number
    6908898
    0 references
    OpenAlex ID
    W2804506387
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176390&oldid=36410159"
    Powered by MediaWiki