Testing Concurrent Objects with Application-Specific Schedulers (Q5505611): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Maude: specification and programming in rewriting logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Complete Guide to the Future / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Task automata: Schedulability, decidability and undecidability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4240122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2761742 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4471927 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Theory of Bounded Fair Scheduling / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Whodunit? Causal Analysis for Counterexamples / rank | |||
Normal rank |
Latest revision as of 00:52, 29 June 2024
scientific article; zbMATH DE number 5498398
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing Concurrent Objects with Application-Specific Schedulers |
scientific article; zbMATH DE number 5498398 |
Statements
Testing Concurrent Objects with Application-Specific Schedulers (English)
0 references
27 January 2009
0 references